Community
Participate
Working Groups
Ant preferences are only saved at shutdown. This can lead to losing user changes to the ant preferences in the event of a crash.
Fixed in both streams
Verified change to AntPreferencesPage.performOk() and AntCorePreferences.updatePluginPreferences()