Version.java fix