provider = new Provider("LWJGL", Sys.getVersion());
int platformID = LWJGLUtil.getPlatform();
switch (platformID) {
case LWJGLUtil.PLATFORM_LINUX:
platform = new Platform(Platform.LINUX, Platform.LINUX_NAME);
break;
case LWJGLUtil.PLATFORM_MACOSX:
platform = new Platform(Platform.OSX, Platform.OSX_NAME);
break;
case LWJGLUtil.PLATFORM_WINDOWS:
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));