java symbols to symbols.xml