Create WellFormed.java