return new OptionsInfoMap18( core );
if ( optionsInfoMap == null ) optionsInfoMap = new OptionsInfoMap18( core ); return (OptionsInfoMap) optionsInfoMap;
	public OptionsInfoMap getOptionsInfoMap() {		return new OptionsInfoMap18( core );	}