Move java-symbols to symbols.xml