final ToolkitInfo getToolkitInfo() {
	anInt7607++;
	int i = -1;
	if (aString7845.indexOf("nvidia") == -1) {
	    if ((aString7845.indexOf("intel") ^ 0xffffffff) != 0)
		i = 32902;
	    else if (aString7845.indexOf("ati") != -1)
		i = 4098;
	} else
	    i = 4318;
	return new ToolkitInfo(i, "OpenGL", anInt7789, aString7790, 0L);
    }