Change symbol.java