Stopping Eclipse, deleting all files in folder
<WORKSPACE>/.metadata/.plugins/org.eclipse.jdt.core
, and restarting Eclipse afterwards has solved it.