It appears that Eclipse 2023-12 does not apply "project specific settings" anymore when just `org.eclipse.jdt.core.javaFormatter` is set.