title: File.separator vs. File.pathSeparator
body: <p>File has the static Strings <a href="https://docs.oracle.com/javase/8/docs/api/java/io/File.html%23separator" rel="noreferrer">separator</a> and <a href="https://docs.oracle.com/javase/8/docs/api/java/io/File.html%23pathSeparator" rel="noreferrer">pathSeparator</a>. The separator is a "default name-separator character" and the pathSeparator is a "path-separator character".</p>
  
  <p>What is the difference? Is there a time when one is preferable to the other?</p>