Method getShortName

src/periphery/SourceGame.java:94–96

()

	}

	public String getShortName() {
		return this.nameShort;
	}

	public SourceGame setDefaultConvertOption(String name) {
		this.defaultConvertOption = name;