Reloading annotation via the reload annotations button seems to do nothing. No new annotations are loaded until I restart JabRef.