Мои настройки рабочего пространства перезаписывались пользовательскими настройками, хранящимися в ~/.eclipse/org.eclipse.oomph.setup/setups/user.setup
. В частности, этот файл включал те оставшиеся строки установки из предыдущей установки:
<setupTask
xsi:type="setup:PreferenceTask"
key="/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.codegen.targetPlatform"
value="9"/>
<setupTask
xsi:type="setup:PreferenceTask"
key="/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.compliance"
value="9"/>
<setupTask
xsi:type="setup:PreferenceTask"
key="/instance/org.eclipse.jdt.core/org.eclipse.jdt.core.compiler.source"
value="9"/>
</setupTask>
Решение:
Удалите строки выше от ~/.eclipse/org.eclipse.oomph.setup/setups/user.setup
.
Примечание:
Спасибо @skomisa, который помог мне понять это.