context: qx.Proto.oldKeyNameToKeyIdentifier = function(keyName){  var keyIdentifier = "Unidentified";    if (this.isValidKeyIdentifier(keyName)) {    return keyName;  }    if (keyName.length == 1 && keyName >= "a" && keyName <= "z") {    return keyName.toUpperCase();  }  keyName = keyName.toLowerCase();    // check wether its a valid old key name  if (!qx.event.type.KeyEvent.keys[keyName]) {    return "Unidentified";  }    var keyIdentifier = qx.event.handler.KeyEventHandler._oldKeyNameToKeyIdentifierMap[keyName];  if (keyIdentifier) {    return keyIdentifier;  } else {    return qx.lang.String.toFirstUp(keyName);  }};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/cd10c33679164b225eafd757283aaab9ddb51d75/KeyEventHandler.js/buggy/qooxdoo/frontend/framework/source/class/qx/event/handler/KeyEventHandler.js