Eclipse Plugin to inteface with GraderServer