Java DisCSP Simulator