text: var dir_01a49e3123ed5533930f155193621133 =
  [
      [ "MastershipManagerTest.java", "MastershipManagerTest_8java.html", [
        [ "MastershipManagerTest", "classorg_1_1onosproject_1_1cluster_1_1impl_1_1MastershipManagerTest.html", "classorg_1_1onosproject_1_1cluster_1_1impl_1_1MastershipManagerTest" ]
      ] ]
  ];