Bøker om Rokka, Johan (fiktiv person)