Update Symbols.java