public FileVar getChild(String name) { File f = file.getChild(name); if (f != null) return new FileVar(f); return null; }