Model Checking Java Programs For Coding