fix Level.java encoding