diff --git a/src/org/jruby/Profile.java b/src/org/jruby/Profile.java index fd8b8c0ae7e..e8aa6b3bc93 100644 --- a/src/org/jruby/Profile.java +++ b/src/org/jruby/Profile.java @@ -47,7 +47,7 @@ public interface Profile { }; Profile NO_FILE_CLASS = new Profile() { public boolean allowBuiltin(String name) { return true; } - public boolean allowClass(String name) { return !name.equals("File"); } + public boolean allowClass(String name) { return !(name.equals("File") || name.equals("FileStat")); } public boolean allowModule(String name) { return true; } public boolean allowLoad(String name) { return true; } public boolean allowRequire(String name) { return true; }