final void getDimensions(int[] is) {
	is[0] = ((SoftwareToolkit) this).widthOffset;
	is[1] = ((SoftwareToolkit) this).heightOffset;
	is[2] = ((SoftwareToolkit) this).width;
	is[3] = ((SoftwareToolkit) this).height;
    }