Added comment to badFiles/malformed.java