A set of push support stuff in java