Package: jcsp.lang

[Java] Class JCSP_InternalError