Uses of Class
DTDDoc.FileCopyException

Uses of FileCopyException in DTDDoc

Methods in DTDDoc that throw FileCopyException

static void

Tools.copyFromResource(java.lang.String name, java.io.File destinationFile) Copies a resource file (in-jar) to a given destination.