A begin of conversion java into rascal.