public static void setDtdResourcePrefix ( String prefix ) { if ( prefix != null && prefix . startsWith ( "file:" ) ) { dtdResourcePrefix = uencode ( prefix ) ; isDtdResourcePrefixFileUrl = true ; } else { dtdResourcePrefix = prefix ; isDtdResourcePrefixFileUrl = false ; } for ( int i = 0 ; i < CACHED_DTD_RESOURCE_PATHS . length ; i ++ ) { String path = DEFAULT_DTD_RESOURCE_PATHS [ i ] ; int index = path . lastIndexOf ( ' ' ) ; if ( index != - 1 ) { CACHED_DTD_RESOURCE_PATHS [ i ] = dtdResourcePrefix + path . substring ( index + 1 ) ; } } }
Sets the path prefix URL for . dtd resources