[m-rev.] for review: fix bug #499 - switches on 64-bit integers in the Java grade

[Julien Fischer]

On Tue, 13 Feb 2018, Zoltan Somogyi wrote:

>
>
> 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.

Indeed I do!  Fixed.

Julien.