/*
    public static void main(String[] args) {        try {            ThreatModelXML_DTDHandler h = new ThreatModelXML_DTDHandler();            ThreatModelXML_DTDParser parser = new ThreatModelXML_DTDParser(h);            parser.parse(new InputSource(new FileInputStream(new File(args[0]))));            Vector models = h.getModels();            System.out.println("Imported "+models.size()+" models!");        } catch (Exception e) {                        System.out.println("Exception: "+e);            e.printStackTrace();        }    }