more progress on translating cil to the java rewrite engine