fix #1246: honor ConfigProperties.UNCONFIGURED_PREFIX again #2618

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
build with jdk 11 windows	2m 30s
build with jdk 11	1m 31s
build with jdk 17 windows	2m 57s
build with jdk 17	1m 16s
build with jdk 21 windows	2m 34s
build with jdk 21	1m 20s
docs	0s
quality	0s
	12m 8s