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

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

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

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

}
