New Java based Model Checker