When JavaApplicationLauncher.getDisplayName(OptionsByType) is called, the returned result is configured DisplayName option.
Should one not be configure, a DisplayName is auto-detected or automatically generated and return. When auto-detected / automatically generated, the DisplayName should be set in the provided OptionsByType collection so that future requests for the DisplayName, either via the getDisplayName(...) method or via the provided OptionsByType will return the said generated DisplayName. Currently it doesn't set or remember the DisplayName for future calls.
When JavaApplicationLauncher.getDisplayName(OptionsByType) is called, the returned result is configured DisplayName option.
Should one not be configure, a DisplayName is auto-detected or automatically generated and return. When auto-detected / automatically generated, the DisplayName should be set in the provided OptionsByType collection so that future requests for the DisplayName, either via the getDisplayName(...) method or via the provided OptionsByType will return the said generated DisplayName. Currently it doesn't set or remember the DisplayName for future calls.