migrate mCRL22UML.py to java