(minor) Also reformatting Pusher.java