public StandardVGAIO(ResourceOwner owner, MemoryResource mem) throws ResourceNotFreeException {
public StandardVGAIO(ResourceOwner owner, MemoryResource mem) throws ResourceNotFreeException, DriverException {
	public StandardVGAIO(ResourceOwner owner, MemoryResource mem) throws ResourceNotFreeException {		try {			ResourceManager rm = (ResourceManager) InitialNaming.lookup(ResourceManager.NAME);			vgaIO = rm.claimIOResource(owner, VGA_FIRST_PORT, VGA_LAST_PORT - VGA_FIRST_PORT + 1);			this.mem = mem;			current_mode = getColorMode();		} catch (NameNotFoundException ex) {			throw new ResourceNotFreeException("Cannot find ResourceManager", ex);		}	}