possible fix to the data source/display mismatch zidb problem. plz test
 set -Xms = -Xmx to minimize GCs
-XX:PermSize = -XX:MaxPermSize for better GC performance
Calling gc explicitly messes up performance of the GC
Updated Memory Monitor to match new memory options on startup. Also, users can control whether the clock is shown on the dashboard or view windows through the user preferences. Default behavior is that clock is only shown on dashboard. The memory monitor can still be toggled to show the clock. Preference only applies on startup.
jindent
removed duplicated datasource reload for derived datachoice
Merge remote-tracking branch 'origin/master'
making use of Java data structures
jindent
Show clock by default on all views. Users can still toggle between clock and memory monitor. Ultimately controlled via the view tab under User Preferences.
look for opendap in the url in addition to dodsC to handle RAMADDA
OPeNDAP requests.
fixed the bug reported by Brian, the time matching for the ensemble dataset.
Rework layout and bug fix: label interval 0 means no labels [1587]
jindent
Changing Formula UI by moving Description: from advanced tab to top level and moved Name: to advanced tab and renamed it to tool tip. XML.
merge with latest master
Merge remote-tracking branch 'origin/progressiveResolution' into progressiveResolution