JPF-Core for the BugwarsREU students to modify.