IntToJava extension

on