Code translator from Java to Nimrod