Model Checking Java Programs Using Streamyard