out.write(ins);
            }
        });
    }

    /**
     * Sets the OSDD path.
     *
     * @param osddPath the OSDD path
     */
    public void setOsddPath(final String osddPath) {
        this.osddPath = osddPath;
    }

    /**
     * Sets the encoding.
     *
     * @param encoding the encoding
     */