Misc
Merge remote-tracking branch 'origin/master'
adding closePolygon for the initial area selection
Jindent
updated copyright date to 2013 in the jintent settings file...please remember to reload your jindent settings.
Fixed the problem when there are two different time dimensions in the dataset. The index to times matching is either by datachoice (if dc subset panel is set to use selected) or by datasource.
Merge remote-tracking branch 'origin/master'
copyright 2013
cleanup of ServerUrlRemapper
Fix an ArrayIndexOutOfBoundsException when opening the
AnimationWidgetProperties dialog when there are no animation times.
Fixed the bug in derived formula when time subsets are diff for each variable
more cleanup, fixed unpersistence of ncIdvVersion from bundles