Model Checking Java Programs For Freshers