Model Checking Java Programs With Classes In Store