I always thought he was called Mario in the original Donkey Kong. I never heard of him being called Jumpman even back in the day.

> > original video gaming mascot next to Mario (Jumpman in Japan)
>
> Super Jumpman Bros huh?
>
> Jumpman was in Donkey Kong in both USA and Japan.
>
> Mario is a different character (although inspired by jumpman) that showed up in
> all games after Donkey Kong in both the USA and Japan.
>
> http://www.classicgaming.com/tmk/mario_history.shtml
>