Яна is short from Янина, but the short form is quite often used more than full one, even in official matters. It's not very widespread, but is not ultra-rare either.
"Женская форма от имени Ян...