context: qx.Class.getTimeFormat = function(size, locale) {  if (    size != "short" &&    size != "medium" &&    size != "long" &&    size != "full"  ) {    throw new Error('format must be one of "short", "medium", "long", "full"');  }  switch (size) {    case "short":    case "medium":      return qx.locale.Date.getDateTimeFormat("HHmm", "HH:mm");        case "long":      return qx.locale.Date.getDateTimeFormat("HHmmss", "HH:mm:ss");        case "full":      return qx.locale.Date.getDateTimeFormat("HHmmsszz", "HH:mm:ss zz");    default:      throw new Error("This case should never happen.");  }};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/50f4941eef5bab43321b4799487e62d30a7aec92/Date.js/clean/qooxdoo/frontend/framework/source/class/qx/locale/Date.js