PASS java web start frontend to the mCRL2 toolset