minor Java autograder GUI bug fixes