JabRef version 3.4, 3.5dev on Windows 10

Steps to reproduce:

1. Preference setting General -> "Mark entries imported into an existing database" is activated
2. Import an entry, e.g., using JabFox
3. The entry is not marked (and therefore not floating at top)