Rename mundo.java to mundo.java.txt