Model Checking Java Programs Using Stream Deck With Qlab