#5064 (Apr 4, 2024, 4:54:33 PM)

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

	No changes.
	GitHub pull request #2371 of commit fbdd01c2cef7169b4e41892f3b15e25ffb93bc3d, no merge conflicts.
	This run spent: 15 sec waiting; 35 min build duration; 35 min total from scheduled to completion.
	Revision: 29b5411e3c01fa78bd945c07e20b257468635545 Repository: https://github.com/eclipse-jdtls/eclipse.jdt.ls.git refs/remotes/origin/pr/2371/merge
	Test Result (no failures)