Update SymbolIndex.java