Model Checking Java Programs For Beginners