stealthpapes PaultheRef would confirm or deny but I think goalkeepers having a certain amount of protection in the 6 yard box is written into the rules now.
True or not but the fact the player jumped with his back to the keeper means he wasn't looking to barge him over, surely