Rename HolaMundo to HolaMundo.java