Update Symbol.java