Fixed Global.java.

Fixed error in which Surfer3 was added multiple times. Also added
isEmpty() clause to stop same Surfer's being added upon startup.