platform = new Platform(Platform.WINDOWS, Platform.WINDOWS_NAME);
break;
}
glVendor = new GLVendor(GL11.glGetString(GL11.GL_VENDOR));
glRenderer = new GLRenderer(GL11.glGetString(GL11.GL_RENDERER));
String versionString = GL11.glGetString(GL11.GL_VERSION);
String versionStringSuffix = versionString.substring(0, 2);
double versionDouble = Double.parseDouble(versionStringSuffix);
if (versionDouble == 1.1D) {