71             list = List.nil();

    71             list = List.nil();

    72         list = list.prepend(basename);

    72         list = list.prepend(basename);

    73         map.put(dirname, list);

    73         map.put(dirname, list);

    74     }

    74     }

    75 

    75 

    76     public JavaFileObject getFileObject(RelativeDirectory subdirectory, String file) {

    77     public JavaFileObject getFileObject(RelativeDirectory subdirectory, String file) {

    77         RelativeDirectory prefix_subdir = new RelativeDirectory(prefix, subdirectory.path);

    78         RelativeDirectory prefix_subdir = new RelativeDirectory(prefix, subdirectory.path);

    78         ZipEntry ze = new RelativeFile(prefix_subdir, file).getZipEntry(zdir);

    79         ZipEntry ze = new RelativeFile(prefix_subdir, file).getZipEntry(zdir);

    79         return new SymbolFileObject(this, file, ze);

    80         return new SymbolFileObject(this, file, ze);

    80     }

    81     }

    81 

    82 

    82     public String toString() {

    84     public String toString() {

    83         return "SymbolArchive[" + zdir.getName() + "]";

    85         return "SymbolArchive[" + zdir.getName() + "]";

    84     }

    86     }

    85 

    87 

    86     /**

    88     /**