}
} catch (DriverException ex) { throw new DeviceException(ex); }
	public synchronized Surface open(FrameBufferConfiguration config) throws UnknownConfigurationException, AlreadyOpenException, DeviceException {		if (currentConfig != null) {			throw new AlreadyOpenException();		} else if (config.equals(CONFIGS[0])) {			try {				vga = new VGASurface(this);				currentConfig = config;				vga.open(config);				return vga;			} catch (ResourceNotFreeException ex) {				throw new DeviceException(ex);			}		} else {			throw new UnknownConfigurationException();		}	}