add java.io.File to the default imports (issue 1453)

2026-02-04 22:29:18 +01:00 · 2012-12-08 17:48:53 +00:00
parent 4f9b99b820
commit ad844b3bd2
1 changed files with 1 additions and 0 deletions
--- a/app/src/processing/mode/java/preproc/PdePreprocessor.java
+++ b/app/src/processing/mode/java/preproc/PdePreprocessor.java
@@ -950,6 +950,7 @@ public class PdePreprocessor {
    return new String[] { 
      "java.util.HashMap",
      "java.util.ArrayList",
+      "java.io.File",
      "java.io.BufferedReader",
      "java.io.PrintWriter",
      "java.io.InputStream",