completed Java code for formatting symbols, since Ali needs it. When
time comes this code can be replaced by its Rascal implementation (i.e.
when we generate bytecode).
Merge branch 'master' of git@github.com:cwi-swat/rascal.git