
    /**
     * @return the version number.
     */
    public String getVersionNumber() {
	return versionNumber;
    }

    /**
     * @return the version date.
     */
    public String getVersionDate() {
	return versionDate;
    }

    /** 
     * @return additional version info.
     */
    public String getVersionInfo() {
	return versionInfo;
    }

    /**
     * @return a slightly formatted version number, date, and additional info.
     */
    public String getVersion() {
	return versionNumber + " (" + versionDate + ") " + versionInfo;
    }

}
