Add FileChannel#size()

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>

classpath/java/io/RandomAccessFile.java

@@ -193,6 +193,10 @@ public class RandomAccessFile {
         seek(position);
         return this;
       }
+
+      public long size() throws IOException {
+        return length();
+      }
     };
   }
 }