title: Get the original file name in java?
body: <p>In Windows os, I have a file, for example "README" .</p>
  
  <p>Using java,  <code>File("readme").exists()</code> will return true</p>
  
  <p>How to get the true file name, something like this:</p>
  
  <pre><code>  new File("readme").getTrueFileName()  //return "README"
  </code></pre>