equal
deleted
inserted
replaced
34 public static void main (String args[]) throws Exception { |
34 public static void main (String args[]) throws Exception { |
35 if (File.separatorChar == '\\') { // Windows |
35 if (File.separatorChar == '\\') { // Windows |
36 File file = null; |
36 File file = null; |
37 try { |
37 try { |
38 file = File.createTempFile("bug", "4487368"); |
38 file = File.createTempFile("bug", "4487368"); |
39 new FileInputStream("\\" + file.getPath()); |
39 new FileInputStream("\\" + file.getPath()).close(); |
40 new FileOutputStream("\\" + file.getPath()); |
40 new FileOutputStream("\\" + file.getPath()).close(); |
41 } finally { |
41 } finally { |
42 if (file != null) |
42 if (file != null) |
43 file.delete(); |
43 file.delete(); |
44 } |
44 } |
45 } |
45 } |