[#190] Fixing the Java style of the Jnario tools.