if("LWJGL".equalsIgnoreCase(version)) { if(instance == null || !(instance instanceof LWJGLTimer)) {
if (DisplaySystem.DISPLAY_SYSTEM_JWJGL.equalsIgnoreCase(version)) { if (instance == null || !(instance instanceof LWJGLTimer)) {
    public static Timer getTimer(String version) {        if("LWJGL".equalsIgnoreCase(version)) {            if(instance == null || !(instance instanceof LWJGLTimer)) {                instance = new LWJGLTimer();            }            return instance;        } else {            return null;        }    }