Oh...."Jose Oravanny" is back... If Harrison was the full name for nickname "Hal", what's...

Oh...."Jose Oravanny" is back... If Harrison was the full name for nickname "Hal", what's the full name for this Jose? Or is that it? I dont really know how to read or speak korean so I really want to know what's the real english/romaji version of his name. (〜￣△￣)〜

Personally, I think "Jose" just doesnt suit him... ╮(￣▽￣)╭