taskbar icon badge issue

[Alan Snyder]

I’m confused by this code in Taskbar:

public void setIconBadge(final String badge) {
    checkEventsProcessingPermission();
    checkFeatureSupport(Feature.ICON_BADGE_NUMBER);
    peer.setIconBadge(badge);
}

which requires ICON_BADGE_NUMBER even though ICON_BADGE_TEXT is specified as 
acceptable in the documentation.

I’m also confused by why ICON_BADGE_NUMBER is not supported on macOS 10.15.6 in 
JDK 15, as the underlying OS issue reported in JDK-8230869 has been fixed. It 
works fine from JDK 12.

  Alan