title: How to get the time separator symbol in Java?
body: <p>Is there a way to get the time separator symbol ':' in Java? Is it a constant somewhere or a getter? Maybe there is something equivalent to the File.separator? </p>
  
  <p>My time string is returned by <code>DateFormat.getTimeInstance(DateFormat.SHORT, locale).format(date);</code></p>
  
  <p>Is it safe to just use ':' in this case when later somebody wants to parse this string?</p>