jalview

mostly just minor differences in font metrics

not recognizing test server's UI nuance

- avoids NullPointerExceptions in CommandLineOperations and

Jalview2xmlTests

- allows headless processes to avoid spawning threads and using

SwingUtilities.invokeLater.

adds Platform.getOrderedHashSet()

adds Platform.setJavaScriptMapObjectEnabled(boolean enabled)

sets the results from

SequenceFeatures.getFeatureGroups(...)

(for FeatureSettings)

and

SequenceFeatures.getFeatureTypesForGroups(...)

(for SeqCanvas and OverviewCanvas painting)

to be a standard Java HashSet, not using the JavaScript Map object.

Sets the

Platform.getJavaOrderedHashSet()

adds Platform.getOrderedHashSet()

adds Platform.setJavaScriptMapObjectEnabled(boolean enabled)

sets the results from SequenceFeatures.getFeatureTypesForGroups(...) to

be a standard Java HashSet, not using the JavaScript Map object.

noting unnecessary use of new String("").

- JViewport, JTableUI fixing Graphics.setClip problem

- new JSUtilI interface

Now that Graphics.setClip is supported, it is important to avoid it

whenever possible. It requires a full run back through the graphics

stack and return twice in order to clear the clip and reset it with all

other characteristics of the graphics state intact. This was

particularly notable in JViewport, creating very sluggish handling of

FeatureSettings, particularly in Firefox.