javasymbolsolver