Renaming java file