@Override
  public void testCalcFootPath() {
    // disable car encoder and move foot to first position => workaround as CH does not allow
    // multiple vehicles
    FlagEncoder tmpFootEncoder = footEncoder;
    FlagEncoder tmpCarEncoder = carEncoder;
    carEncoder =
        new CarFlagEncoder() {
          @Override
          public long setProperties(double speed, boolean forward, boolean backward) {
            return 0;
          }
        };

    footEncoder = new EncodingManager("FOOT").getSingle();
    super.testCalcFootPath();
    footEncoder = tmpFootEncoder;
    carEncoder = tmpCarEncoder;
  }
 @Override
 public void testRekeyBugOfIntBinHeap() {
   super
       .testRekeyBugOfIntBinHeap(); // To change body of generated methods, choose Tools |
                                    // Templates.
 }