I indeed meant jmp, not jump (sorry, auto-correction :-((
I searched my computer entirely with finder and with Terminal for a JMP.PER file but could not find one, and concerning David's suggestion, my old computer was copied to the new one, so I would expect all the files are there. Well well, I contacted JMP support. Will keep you posted!
Thanks