preserver original names of rule variables in the Java backend

Something I did in the past is unnecessary. It only makes the intermediate results of rewriter/prover really hard to read.