petty java