synchronized static public File requireExecutable(String name, String targetName, Options options) throws IOException {
    """
	Same as findExecutable but throws an exception if the executable was not
	found.
    """
        File file = findExecutable(name, targetName, options);
        if (file == null) {
            throw new ResourceNotFoundException("Resource executable " + name + " not found");
        }
        return file;
    }
synchronized static public File requireExecutable(String name, String targetName, Options options) throws IOException {
        File file = findExecutable(name, targetName, options);
        if (file == null) {
            throw new ResourceNotFoundException("Resource executable " + name + " not found");
        }
        return file;
    }
synchronized static public File requireExecutable ( String name , String targetName , Options options ) throws IOException { File file = findExecutable ( name , targetName , options ) ; if ( file == null ) { throw new ResourceNotFoundException ( "Resource executable " + name + " not found" ) ; } return file ; }
Same as findExecutable but throws an exception if the executable was not
found.
Same as findExecutable but throws an exception if the executable was not found .