This is the behavior if the PDF cannot be opened:  If a user wants to rename the file, he cannot, because JabRef still locks it: 
This is the behavior if the PDF cannot be opened:
If a user wants to rename the file, he cannot, because JabRef still locks it: