a Java pushbox game