SPARK-2114: Fix Java version string comparison.
Without this, plugins that define a minimum Java version of 9 or lower fail to load on Java 10 or higher.
wroot <wrooot@users.noreply.github.com>
89800345ff89fd5e787c6535182969f76f9f42e0
Merge pull request #471 from guusdk/SPARK-2065_Preferences-panel-old-plugins SPARK-2065: Show error when preferences cannot be saved.
SPARK-2065: Show error when preferences cannot be saved.
At times, a plugin that integrates with the preferences panel fails to store its configurations. This has been observed with 'old' plugins, that suffer from class-not-found exceptions. When this occurs, Spark should notify the user, but otherwise ignore the issue.