".settings/org.eclipse.jdt.ui.prefs" did not exist on "b9015c90e8193529732cd5aa20d43319e5d4f03c"