SymbolTable.java documentation