From e0ab3485ad62aa64281c8c8917083a7319131e31 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 20 Apr 2011 22:54:59 +0000
Subject: [PATCH] changes to work with imports...

---
 Robust/src/ClassLibrary/File.java               | 6 +++---
 Robust/src/ClassLibrary/FileOutputStream.java   | 2 +-
 Robust/src/ClassLibrary/gnu/FileDescriptor.java | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/Robust/src/ClassLibrary/File.java b/Robust/src/ClassLibrary/File.java
index d4f0da39..805ecb85 100644
--- a/Robust/src/ClassLibrary/File.java
+++ b/Robust/src/ClassLibrary/File.java
@@ -1,6 +1,6 @@
-import java.io.FileSystem;
-import java.io.FilenameFilter;
-import java.util.ArrayList;
+//import java.io.FileSystem;
+//import java.io.FilenameFilter;
+//import java.util.ArrayList;
 
 public class File {
   String path;
diff --git a/Robust/src/ClassLibrary/FileOutputStream.java b/Robust/src/ClassLibrary/FileOutputStream.java
index 07658f10..360c618b 100644
--- a/Robust/src/ClassLibrary/FileOutputStream.java
+++ b/Robust/src/ClassLibrary/FileOutputStream.java
@@ -1,4 +1,4 @@
-import java.io.FileDescriptor;
+//import java.io.FileDescriptor;
 
 public class FileOutputStream extends OutputStream {
   private int fd;
diff --git a/Robust/src/ClassLibrary/gnu/FileDescriptor.java b/Robust/src/ClassLibrary/gnu/FileDescriptor.java
index 7b9c146b..da4a7000 100644
--- a/Robust/src/ClassLibrary/gnu/FileDescriptor.java
+++ b/Robust/src/ClassLibrary/gnu/FileDescriptor.java
@@ -37,7 +37,7 @@ obligated to do so.  If you do not wish to do so, delete this
 exception statement from your version. */
 
 
-package java.io;
+//package java.io;
 
 /*import gnu.java.nio.FileChannelImpl;
 
-- 
2.34.1