Java files for Pset3