On Mon, 12 Feb 2018 11:43:23 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: > Fix bug #499 - switches on 64-bit integers in the Java grade. You mean bug 449. I agree with Peter's comments. Zoltan.