X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FClassLibrary%2FMGC%2FScanner.java;h=f4fba9b149489d518a81935944439a1ed2f57d9f;hb=20b1efc2f3c578f815cd42b27a4881c89e4f3e05;hp=31b4567e77b2d0a06eabac317961214eb7150c89;hpb=c82d50aef4bf1aa7324a359872b6c7882952a9c1;p=IRC.git

diff --git a/Robust/src/ClassLibrary/MGC/Scanner.java b/Robust/src/ClassLibrary/MGC/Scanner.java
index 31b4567e..f4fba9b1 100644
--- a/Robust/src/ClassLibrary/MGC/Scanner.java
+++ b/Robust/src/ClassLibrary/MGC/Scanner.java
@@ -1,6 +1,7 @@
 public class Scanner implements Iterator {
   private String sourcename;
   private int currentpos;
+  private int filearray;
 
   public Scanner (final String source)	{
     this.sourcename = source;
@@ -10,13 +11,7 @@ public class Scanner implements Iterator {
   public void close () {
   }
 
-  public double nextDouble () {
-      return Double.parseDouble(new String(next()));
-  }
+  public native double nextDouble ();
 
-  public int nextInt () {
-      return Integer.parseInt(new String(next()));
-  }
-  
-  private native char[] next();
+  public native int nextInt ();
 }