Searched refs:dtdDir (Results 1 – 1 of 1) sorted by relevance
419 String dtdDir = options.get("DTD_DIR").toString(); in write() local420 fixedPath = dtdDir + dtdType + ".dtd"; in write()