I added in a package called BugWarsTesting, here we will put the java files and jpf files that we will verify on...mostly just testing that I can commit and push though