Deleting an unused attribute in tests/TestEvaluation.java