added imports in symbol.java