Updated the NanoJava version, with generalized characterizations