I think this is a fix to make jabref 2.9.2 work