#5071 (Apr 15, 2024, 1:05:31 PM)

PR #2371: Add setting to make fields ...

	No changes.
	GitHub pull request #2371 of commit c9e4853305a5e1608cc3a330136804851cd399b5, no merge conflicts.
	This run spent: 17 sec waiting; 30 sec build duration; 47 sec total from scheduled to completion.
	Revision: c6240a0b69984f1fca9badd6053cdb308341d62c Repository: https://github.com/eclipse-jdtls/eclipse.jdt.ls.git refs/remotes/origin/pr/2371/merge
	Aborted by user Roland Grunberg