Model Checking Java Programs Asked