Loosened spec for JottoModel.java; updated ModelTest.java
Fixed BackgroundWorker.java