717273747576777879
public URI getURI(){ return uri; } public static Manual parse(File file) throws Exception { ArtifactManualParser parser = new ArtifactManualParser(new FileInputStream(file)); Manual man = parser.parse(); return man; }
77787980818283848586
Manual man = parser.parse(); return man; } public static Manual parse(String text) throws Exception { ArtifactManualParser parser = new ArtifactManualParser(new StringReader(text)); Manual man = parser.parse(); man.setSource(text); return man; }