title: Does FileInputStream.skip() do a seek?
body: <p>I want to copy the last 10MB of a possibly large file into another file.  Ideally I would use FileInputStream, skip() and then read().  However I'm unsure if the performance of skip() will be bad.  Is skip() typically implemented using a file seek underneath or does it actually read and discard data?</p>
  
  <p>I know about RandomAccessFile but I'm interested in whether I could use FileInputStream in place of that (RandomAccessFile is annoying as the API is non-standard).</p>