1.1 --- a/test/tools/javac/diags/FileManager.java Tue Oct 05 17:37:31 2010 -0700 1.2 +++ b/test/tools/javac/diags/FileManager.java Thu Oct 07 15:26:32 2010 -0700 1.3 @@ -177,12 +177,14 @@ 1.4 } 1.5 1.6 void checkRead() throws IOException { 1.7 - if (cantRead != null && cantRead.matcher(getName()).matches()) 1.8 + String canonName = getName().replace(File.separatorChar, '/'); 1.9 + if (cantRead != null && cantRead.matcher(canonName).matches()) 1.10 throw new IOException("FileManager: Can't read"); 1.11 } 1.12 1.13 void checkWrite() throws IOException { 1.14 - if (cantWrite != null && cantWrite.matcher(getName()).matches()) 1.15 + String canonName = getName().replace(File.separatorChar, '/'); 1.16 + if (cantWrite != null && cantWrite.matcher(canonName).matches()) 1.17 throw new IOException("FileManager: Can't write"); 1.18 } 1.19