Updated the NanoJava version