Added import to Synonym.java.