push.java (minor)