[Javapathfinder-devel] javapathfinder/env/jpf/java/io RandomAccessFile.java,1.1.1.1,1.2

[Willem V. <wv...@us...>]

Update of /cvsroot/javapathfinder/javapathfinder/env/jpf/java/io
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv19442/env/jpf/java/io

Modified Files:
	RandomAccessFile.java 
Log Message:
* fixed problem with RandomAccessFile not working for multiple 
* accesses to the same file

Index: RandomAccessFile.java
===================================================================
RCS file: /cvsroot/javapathfinder/javapathfinder/env/jpf/java/io/RandomAccessFile.java,v
retrieving revision 1.1.1.1
retrieving revision 1.2
diff -u -d -r1.1.1.1 -r1.2
--- RandomAccessFile.java	26 Apr 2005 19:43:25 -0000	1.1.1.1
+++ RandomAccessFile.java	23 Jun 2005 20:49:05 -0000	1.2
@@ -30,6 +30,7 @@
     filename = name;
     isOpen = true;
     isReadOnly = "r".equals(permissions);
+    setDataMap();
   }
 
   public void seek(long posn) throws IOException {
@@ -40,6 +41,8 @@
     return currentLength;
   }
 
+  public native void setDataMap();
+  
   public native void writeByte(int data) throws IOException;
 
   public native void write(byte[] data, int start, int len