Error report after edit org.eclipse.jdt.core.prefs under .settings
After edit org.eclipse.jdt.core.prefs in .settings dir to java source = 1.8, then restart vsc.
And vscode-java report an error.
[Warn - 2:11:40 AM] Nov 26, 2016 2:11:40 AM The workspace exited with unsaved changes in the previous session; refreshing workspace to recover changes.
[Error - 2:11:42 AM] Nov 26, 2016 2:11:40 AM Exception occurred while saving project preferences: /neural/.settings/org.eclipse.jdt.core.prefs.
Resource is out of sync with the file system: '/neural/.settings/org.eclipse.jdt.core.prefs'.
org.eclipse.core.internal.resources.ResourceException: Resource is out of sync with the file system: '/neural/.settings/org.eclipse.jdt.core.prefs'.