repositories = new HashSet();
repositories = new TreeSet(app.getResourceComparator());
    public Prototype(String name, Repository repository, Application app) {        // app.logEvent ("Constructing Prototype "+app.getName()+"/"+name);        this.app = app;        this.name = name;        repositories = new HashSet();        if (repository != null) {            repositories.add(repository);        }        lowerCaseName = name.toLowerCase();        // Create and register type properties file        props = new ResourceProperties(app);        if (repository != null) {            props.addResource(repository.getResource("type.properties"));        }        dbmap = new DbMapping(app, name, props);        // we don't need to put the DbMapping into proto.updatables, because        // dbmappings are checked separately in TypeManager.checkFiles() for        // each request        code = new TreeSet(app.getResourceComparator());        skins = new TreeSet(app.getResourceComparator());        trackers = new HashMap();        skinMap = new HashMap();        isJavaPrototype = app.isJavaPrototype(name);    }