question: resolve the given resource url to a java.io.file , i.e. to a file in the file system . concode_field_sep String JAR_URL_SEPARATOR concode_elem_sep String CLASSPATH_URL_PREFIX concode_elem_sep String URL_PROTOCOL_ZIP concode_elem_sep String FILE_URL_PREFIX concode_elem_sep String URL_PROTOCOL_FILE concode_elem_sep String URL_PROTOCOL_JAR concode_elem_sep String URL_PROTOCOL_VFSZIP concode_elem_sep String URL_PROTOCOL_WSJAR concode_field_sep URL getURL concode_elem_sep boolean isFileURL concode_elem_sep boolean isJarURL concode_elem_sep URL extractJarFileURL concode_elem_sep URI toURI concode_elem_sep URI toURI concode_elem_sep boolean isUrl concode_elem_sep void useCachesIfNecessary
target: File function ( URL arg0 ) { return getFile ( arg0 , "srini_string" ) ; }