modified filename Version.java.in to Version.java