Restore 500ms default value for -min-gate-time flag in java timer implementation.  (Apparently lost in fd20e80e6d125afb2b54c23c9800b5e7a7dd6e1a when converting flags to Flags class.)
Restore 500ms default value for -min-gate-time flag in java timer
implementation.  (Apparently lost in fd20e80e6d125afb2b54c23c9800b5e7a7dd6e1a
when converting flags to Flags class.)

jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet,jeffpiazza/derbynet