translator for c-like set-theory language in Java-code