diff --git a/output.txt b/output.txt
new file mode 100644
index 00000000..39e2f69b
--- /dev/null
+++ b/output.txt
@@ -0,0 +1 @@
+After.
diff --git a/src/tests/gov/nasa/jpf/test/java/io/FileTest.java b/src/tests/gov/nasa/jpf/test/java/io/FileTest.java
index 2e29667f..7dec5c5f 100644
--- a/src/tests/gov/nasa/jpf/test/java/io/FileTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/io/FileTest.java
@@ -110,8 +110,8 @@ public void testToURI(){
     File file = new File("testfile.txt");
     URI expectedURI = null;
     try {
-      expectedURI = new URI("file:testfile.txt");
-    } catch (URISyntaxException e) {
+      expectedURI = new File(file.getAbsolutePath()).toURI();
+    } catch (Exception e) {
       fail("URISyntaxException thrown while constructing expected URI");
     }