first push lab13 Java