/*
for (var name in db.classInfo) {
selectClass(name);
}
function updateDisplay() {
    var value = $("#show").val();
    switch(value) {
    case "runtime":
      $(".load").hide();
      $(".runtime").show();
      break;
      
    case "load":
      $(".load").show();
      $(".runtime").hide();
      break;
      
    default:
      $(".load").show();
      $(".runtime").show();
      break;
    }
  }