*** 426,437 **** --- 426,442 ---- ./bin/wsgen.exe ./bin/wsimport.exe ./bin/xjc.exe " + SORT_SYMBOLS=" + ./bin/fontmanager.dll + " + ACCEPTED_DIS_DIFF=" ./bin/jabswitch.exe + ./bin/fontmanager.dll " if [ "$OPENJDK_TARGET_CPU" = "x86" ]; then DIS_DIFF_FILTER="$SED -r \ -e 's/^ [0-9A-F]{16}: //' \