When modifying jdt settings in .settings/org.eclipse.jdt.core.prefs, the modifications are ignored by the server.

Eclipse project setting files need to be added to the file watcher, so they can be refreshed server-side