Program: 190588
Project: 190588
Buggy source:
private void onTickInGame(Minecraft mc){
  ctr++;
  ct++;
  PastMechanics mechanics=new PastMechanics();
  text="String_Node_Str" + minutes + "String_Node_Str"+ seconds+ "String_Node_Str";
  isInPast=GuiTimeTravel.isInPast;
  if (ct == 20) {
    if (!isInPast) {
      mechanics.addPlayerLoc(mc.getIntegratedServer(),mc,"String_Node_Str");
      ct=0;
    }
  }
  if (!isInPast) {
    if (mc.thePlayer.isJumping) {
      mechanics.addPlayerLoc(mc.getIntegratedServer(),mc,"String_Node_Str");
    }
  }
  if (ctr == 20 * 60) {
    if (!isInPast) {
      mechanics.saveTime(mc.getIntegratedServer(),mc,copyFile);
    }
    ctr=0;
  }
  if (!hasRun) {
    hasRun=true;
    mechanics.firstTime(mc.getIntegratedServer(),mc);
  }
  if (isInPast) {
    count++;
    if (paradoxLevel < 0) {
      paradoxLevel=0;
    }
    if (paradoxLevel <= 128) {
      EntityPlayerSP eps=mc.thePlayer;
      if (eps.isPotionActive(Potion.invisibility)) {
        invisPotTime++;
        if (invisPotTime == 10) {
          paradoxLevel=paradoxLevel - 5;
          invisPotTime=0;
        }
      }
      if (eps.isEating()) {
        paradoxLevel++;
        eps.experienceTotal=eps.experienceTotal + 2;
      }
      if (eps.isSneaking()) {
        sneakTime++;
        if (sneakTime == 30) {
          paradoxLevel=paradoxLevel - 2;
          sneakTime=0;
        }
      }
      WorldClient w=mc.theWorld;
      EntitySheep es=new EntitySheep(w);
      EntityPig ep=new EntityPig(w);
      EntityCow ec=new EntityCow(w);
      EntityChicken eck=new EntityChicken(w);
      EntitySquid esq=new EntitySquid(w);
      EntityWolf ew=new EntityWolf(w);
      EntityOcelot eo=new EntityOcelot(w);
      EntityBat eb=new EntityBat(w);
      EntityIronGolem ei=new EntityIronGolem(w);
      EntityMooshroom em=new EntityMooshroom(w);
      EntityVillager ev=new EntityVillager(w);
      EntityEnderman ee=new EntityEnderman(w);
      EntityPigZombie ezp=new EntityPigZombie(w);
      EntityBlaze ebl=new EntityBlaze(w);
      EntityCaveSpider ecs=new EntityCaveSpider(w);
      EntityCreeper ecr=new EntityCreeper(w);
      EntityGhast eg=new EntityGhast(w);
      EntityMagmaCube emc=new EntityMagmaCube(w);
      EntitySilverfish esi=new EntitySilverfish(w);
      EntitySkeleton esk=new EntitySkeleton(w);
      EntitySlime esl=new EntitySlime(w);
      EntitySpider esp=new EntitySpider(w);
      EntityWitch ewi=new EntityWitch(w);
      EntityZombie ez=new EntityZombie(w);
      if (!hasInitMobs) {
        prevSheep=w.countEntities(es.getClass());
        prevPig=w.countEntities(ep.getClass());
        prevCow=w.countEntities(ec.getClass());
        prevChick=w.countEntities(eck.getClass());
        prevSqu=w.countEntities(esq.getClass());
        prevWol=w.countEntities(ew.getClass());
        prevOce=w.countEntities(eo.getClass());
        prevBat=w.countEntities(eb.getClass());
        prevGol=w.countEntities(ei.getClass());
        prevMoo=w.countEntities(ei.getClass());
        prevVil=w.countEntities(ev.getClass());
        prevEnd=w.countEntities(ee.getClass());
        prevZpi=w.countEntities(ezp.getClass());
        prevBla=w.countEntities(ebl.getClass());
        prevCsp=w.countEntities(ecs.getClass());
        prevCre=w.countEntities(ecr.getClass());
        prevGha=w.countEntities(eg.getClass());
        prevMag=w.countEntities(emc.getClass());
        prevSil=w.countEntities(esi.getClass());
        prevSke=w.countEntities(esk.getClass());
        prevSli=w.countEntities(esl.getClass());
        prevSpi=w.countEntities(esp.getClass());
        prevWit=w.countEntities(ewi.getClass());
        prevZom=w.countEntities(ez.getClass());
        hasRun=true;
      }
      if (prevSheep > w.countEntities(es.getClass())) {
        paradoxLevel=paradoxLevel + 4;
        prevSheep=w.countEntities(es.getClass());
      }
      if (prevPig > w.countEntities(ep.getClass())) {
        paradoxLevel=paradoxLevel + 8;
        prevPig=w.countEntities(ep.getClass());
      }
      if (prevCow > w.countEntities(ec.getClass())) {
        paradoxLevel=paradoxLevel + 12;
        prevCow=w.countEntities(ec.getClass());
      }
      if (prevChick > w.countEntities(eck.getClass())) {
        paradoxLevel=paradoxLevel + 7;
        prevChick=w.countEntities(eck.getClass());
      }
      if (prevSqu > w.countEntities(esq.getClass())) {
        paradoxLevel=paradoxLevel + 2;
        prevSqu=w.countEntities(esq.getClass());
      }
      if (prevWol > w.countEntities(ew.getClass())) {
        paradoxLevel=paradoxLevel + 14;
        prevWol=w.countEntities(ew.getClass());
      }
      if (prevOce > w.countEntities(eo.getClass())) {
        paradoxLevel=paradoxLevel + 20;
        prevOce=w.countEntities(eo.getClass());
      }
      if (prevBat > w.countEntities(eb.getClass())) {
        paradoxLevel++;
        prevBat=w.countEntities(eo.getClass());
      }
      if (prevMoo > w.countEntities(em.getClass())) {
        paradoxLevel=paradoxLevel + 14;
        prevMoo=w.countEntities(em.getClass());
      }
      if (prevGol > w.countEntities(ei.getClass())) {
        paradoxLevel=paradoxLevel + 78;
        prevBat=w.countEntities(ei.getClass());
      }
      if (prevVil > w.countEntities(ev.getClass())) {
        paradoxLevel=paradoxLevel + 55;
        prevVil=w.countEntities(ev.getClass());
      }
      if (prevEnd > w.countEntities(ee.getClass())) {
        paradoxLevel=paradoxLevel + 25;
        prevEnd=w.countEntities(ee.getClass());
      }
      if (prevZpi > w.countEntities(ezp.getClass())) {
        paradoxLevel=paradoxLevel + 19;
        prevZpi=w.countEntities(ezp.getClass());
      }
      if (prevBla > w.countEntities(ebl.getClass())) {
        paradoxLevel=paradoxLevel + 33;
        prevBla=w.countEntities(ebl.getClass());
      }
      if (prevCsp > w.countEntities(ecs.getClass())) {
        paradoxLevel=paradoxLevel + 29;
        prevCsp=w.countEntities(ecs.getClass());
      }
      if (prevCre > w.countEntities(ecr.getClass())) {
        paradoxLevel=paradoxLevel + 69;
        prevCre=w.countEntities(ecr.getClass());
      }
      if (prevGha > w.countEntities(eg.getClass())) {
        paradoxLevel=paradoxLevel + 56;
        prevGha=w.countEntities(eg.getClass());
      }
      if (prevMag > w.countEntities(emc.getClass())) {
        paradoxLevel=paradoxLevel + 10;
        prevMag=w.countEntities(emc.getClass());
      }
      if (prevSil > w.countEntities(esi.getClass())) {
        paradoxLevel=paradoxLevel + 4;
        prevSil=w.countEntities(esi.getClass());
      }
      if (prevSke > w.countEntities(esk.getClass())) {
        paradoxLevel=paradoxLevel + 34;
        prevSke=w.countEntities(esk.getClass());
      }
      if (prevSli > w.countEntities(esl.getClass())) {
        paradoxLevel=paradoxLevel + 10;
        prevSli=w.countEntities(esl.getClass());
      }
      if (prevSpi > w.countEntities(esp.getClass())) {
        paradoxLevel=paradoxLevel + 27;
        prevSpi=w.countEntities(esp.getClass());
      }
      if (prevWit > w.countEntities(ewi.getClass())) {
        paradoxLevel=paradoxLevel + 49;
        prevWit=w.countEntities(ewi.getClass());
      }
      if (prevZom > w.countEntities(ez.getClass())) {
        paradoxLevel=paradoxLevel + 20;
        prevZom=w.countEntities(ez.getClass());
      }
      if (prevSheep < w.countEntities(es.getClass())) {
        prevSheep=w.countEntities(es.getClass());
      }
      if (prevPig < w.countEntities(ep.getClass())) {
        prevPig=w.countEntities(ep.getClass());
      }
      if (prevCow < w.countEntities(ec.getClass())) {
        prevCow=w.countEntities(ec.getClass());
      }
      if (prevChick < w.countEntities(eck.getClass())) {
        prevChick=w.countEntities(eck.getClass());
      }
      if (prevSqu < w.countEntities(esq.getClass())) {
        prevSqu=w.countEntities(esq.getClass());
      }
      if (prevWol < w.countEntities(ew.getClass())) {
        prevWol=w.countEntities(ew.getClass());
      }
      if (prevOce < w.countEntities(eo.getClass())) {
        prevOce=w.countEntities(eo.getClass());
      }
      if (prevBat < w.countEntities(eb.getClass())) {
        prevBat=w.countEntities(eb.getClass());
      }
      if (prevGol < w.countEntities(ei.getClass())) {
        prevGol=w.countEntities(ei.getClass());
      }
      if (prevMoo < w.countEntities(em.getClass())) {
        prevMoo=w.countEntities(em.getClass());
      }
      if (prevVil < w.countEntities(ev.getClass())) {
        prevVil=w.countEntities(ev.getClass());
      }
      if (prevEnd < w.countEntities(ee.getClass())) {
        prevEnd=w.countEntities(ee.getClass());
      }
      if (prevZpi < w.countEntities(ezp.getClass())) {
        prevZpi=w.countEntities(ezp.getClass());
      }
      if (prevBla < w.countEntities(ebl.getClass())) {
        prevBla=w.countEntities(ebl.getClass());
      }
      if (prevCsp < w.countEntities(ecs.getClass())) {
        prevCsp=w.countEntities(ecs.getClass());
      }
      if (prevCre < w.countEntities(ecr.getClass())) {
        prevCre=w.countEntities(ecr.getClass());
      }
      if (prevGha < w.countEntities(eg.getClass())) {
        prevGha=w.countEntities(eg.getClass());
      }
      if (prevMag < w.countEntities(emc.getClass())) {
        prevMag=w.countEntities(emc.getClass());
      }
      if (prevSil < w.countEntities(esi.getClass())) {
        prevSil=w.countEntities(esi.getClass());
      }
      if (prevSke < w.countEntities(esk.getClass())) {
        prevSke=w.countEntities(esk.getClass());
      }
      if (prevSli < w.countEntities(esl.getClass())) {
        prevSli=w.countEntities(esl.getClass());
      }
      if (prevSpi < w.countEntities(esp.getClass())) {
        prevSpi=w.countEntities(esp.getClass());
      }
      if (prevWit < w.countEntities(ewi.getClass())) {
        prevWit=w.countEntities(ewi.getClass());
      }
      if (prevZom < w.countEntities(ez.getClass())) {
        prevZom=w.countEntities(ez.getClass());
      }
    }
 else {
      mechanics.returnToPresent(mc,paradoxLevel,mc.getIntegratedServer(),minutes,seconds);
    }
  }
  if (isInPast) {
    if (count == 20) {
      seconds--;
      count=0;
    }
    if (seconds == 0) {
      minutes--;
      seconds=60;
    }
    if (minutes == 0) {
      text="String_Node_Str" + seconds + "String_Node_Str";
    }
    if (minutes <= 0 && seconds <= 1) {
      mechanics.outOfTime(mc,mc.getIntegratedServer(),minutes,seconds,text);
    }
  }
}

Fixed version (ground truth):
private void onTickInGame(Minecraft mc){
  ctr++;
  ct++;
  PastMechanics mechanics=new PastMechanics();
  text="String_Node_Str" + minutes + "String_Node_Str"+ seconds+ "String_Node_Str";
  isInPast=GuiTimeTravel.isInPast;
  if (ct == 20) {
    if (!isInPast) {
      mechanics.addPlayerLoc(mc.getIntegratedServer(),mc,"String_Node_Str");
      ct=0;
    }
  }
  if (!isInPast) {
    if (mc.thePlayer.isJumping) {
      mechanics.addPlayerLoc(mc.getIntegratedServer(),mc,"String_Node_Str");
    }
    if (mc.thePlayer.isSneaking()) {
      mechanics.addPlayerLoc(mc.getIntegratedServer(),mc,"String_Node_Str");
    }
  }
  if (ctr == 20 * 60) {
    if (!isInPast) {
      mechanics.saveTime(mc.getIntegratedServer(),mc,copyFile);
    }
    ctr=0;
  }
  if (!hasRun) {
    hasRun=true;
    mechanics.firstTime(mc.getIntegratedServer(),mc);
  }
  if (isInPast) {
    count++;
    if (paradoxLevel < 0) {
      paradoxLevel=0;
    }
    if (paradoxLevel <= 128) {
      EntityPlayerSP eps=mc.thePlayer;
      if (eps.isPotionActive(Potion.invisibility)) {
        invisPotTime++;
        if (invisPotTime == 10) {
          paradoxLevel=paradoxLevel - 5;
          invisPotTime=0;
        }
      }
      if (eps.isEating()) {
        paradoxLevel++;
        eps.experienceTotal=eps.experienceTotal + 2;
      }
      if (eps.isSneaking()) {
        sneakTime++;
        if (sneakTime == 30) {
          paradoxLevel=paradoxLevel - 2;
          sneakTime=0;
        }
      }
      WorldClient w=mc.theWorld;
      EntitySheep es=new EntitySheep(w);
      EntityPig ep=new EntityPig(w);
      EntityCow ec=new EntityCow(w);
      EntityChicken eck=new EntityChicken(w);
      EntitySquid esq=new EntitySquid(w);
      EntityWolf ew=new EntityWolf(w);
      EntityOcelot eo=new EntityOcelot(w);
      EntityBat eb=new EntityBat(w);
      EntityIronGolem ei=new EntityIronGolem(w);
      EntityMooshroom em=new EntityMooshroom(w);
      EntityVillager ev=new EntityVillager(w);
      EntityEnderman ee=new EntityEnderman(w);
      EntityPigZombie ezp=new EntityPigZombie(w);
      EntityBlaze ebl=new EntityBlaze(w);
      EntityCaveSpider ecs=new EntityCaveSpider(w);
      EntityCreeper ecr=new EntityCreeper(w);
      EntityGhast eg=new EntityGhast(w);
      EntityMagmaCube emc=new EntityMagmaCube(w);
      EntitySilverfish esi=new EntitySilverfish(w);
      EntitySkeleton esk=new EntitySkeleton(w);
      EntitySlime esl=new EntitySlime(w);
      EntitySpider esp=new EntitySpider(w);
      EntityWitch ewi=new EntityWitch(w);
      EntityZombie ez=new EntityZombie(w);
      if (!hasInitMobs) {
        prevSheep=w.countEntities(es.getClass());
        prevPig=w.countEntities(ep.getClass());
        prevCow=w.countEntities(ec.getClass());
        prevChick=w.countEntities(eck.getClass());
        prevSqu=w.countEntities(esq.getClass());
        prevWol=w.countEntities(ew.getClass());
        prevOce=w.countEntities(eo.getClass());
        prevBat=w.countEntities(eb.getClass());
        prevGol=w.countEntities(ei.getClass());
        prevMoo=w.countEntities(ei.getClass());
        prevVil=w.countEntities(ev.getClass());
        prevEnd=w.countEntities(ee.getClass());
        prevZpi=w.countEntities(ezp.getClass());
        prevBla=w.countEntities(ebl.getClass());
        prevCsp=w.countEntities(ecs.getClass());
        prevCre=w.countEntities(ecr.getClass());
        prevGha=w.countEntities(eg.getClass());
        prevMag=w.countEntities(emc.getClass());
        prevSil=w.countEntities(esi.getClass());
        prevSke=w.countEntities(esk.getClass());
        prevSli=w.countEntities(esl.getClass());
        prevSpi=w.countEntities(esp.getClass());
        prevWit=w.countEntities(ewi.getClass());
        prevZom=w.countEntities(ez.getClass());
        hasRun=true;
      }
      if (prevSheep > w.countEntities(es.getClass())) {
        paradoxLevel=paradoxLevel + 4;
        prevSheep=w.countEntities(es.getClass());
      }
      if (prevPig > w.countEntities(ep.getClass())) {
        paradoxLevel=paradoxLevel + 8;
        prevPig=w.countEntities(ep.getClass());
      }
      if (prevCow > w.countEntities(ec.getClass())) {
        paradoxLevel=paradoxLevel + 12;
        prevCow=w.countEntities(ec.getClass());
      }
      if (prevChick > w.countEntities(eck.getClass())) {
        paradoxLevel=paradoxLevel + 7;
        prevChick=w.countEntities(eck.getClass());
      }
      if (prevSqu > w.countEntities(esq.getClass())) {
        paradoxLevel=paradoxLevel + 2;
        prevSqu=w.countEntities(esq.getClass());
      }
      if (prevWol > w.countEntities(ew.getClass())) {
        paradoxLevel=paradoxLevel + 14;
        prevWol=w.countEntities(ew.getClass());
      }
      if (prevOce > w.countEntities(eo.getClass())) {
        paradoxLevel=paradoxLevel + 20;
        prevOce=w.countEntities(eo.getClass());
      }
      if (prevBat > w.countEntities(eb.getClass())) {
        paradoxLevel++;
        prevBat=w.countEntities(eo.getClass());
      }
      if (prevMoo > w.countEntities(em.getClass())) {
        paradoxLevel=paradoxLevel + 14;
        prevMoo=w.countEntities(em.getClass());
      }
      if (prevGol > w.countEntities(ei.getClass())) {
        paradoxLevel=paradoxLevel + 78;
        prevBat=w.countEntities(ei.getClass());
      }
      if (prevVil > w.countEntities(ev.getClass())) {
        paradoxLevel=paradoxLevel + 55;
        prevVil=w.countEntities(ev.getClass());
      }
      if (prevEnd > w.countEntities(ee.getClass())) {
        paradoxLevel=paradoxLevel + 25;
        prevEnd=w.countEntities(ee.getClass());
      }
      if (prevZpi > w.countEntities(ezp.getClass())) {
        paradoxLevel=paradoxLevel + 19;
        prevZpi=w.countEntities(ezp.getClass());
      }
      if (prevBla > w.countEntities(ebl.getClass())) {
        paradoxLevel=paradoxLevel + 33;
        prevBla=w.countEntities(ebl.getClass());
      }
      if (prevCsp > w.countEntities(ecs.getClass())) {
        paradoxLevel=paradoxLevel + 29;
        prevCsp=w.countEntities(ecs.getClass());
      }
      if (prevCre > w.countEntities(ecr.getClass())) {
        paradoxLevel=paradoxLevel + 69;
        prevCre=w.countEntities(ecr.getClass());
      }
      if (prevGha > w.countEntities(eg.getClass())) {
        paradoxLevel=paradoxLevel + 56;
        prevGha=w.countEntities(eg.getClass());
      }
      if (prevMag > w.countEntities(emc.getClass())) {
        paradoxLevel=paradoxLevel + 10;
        prevMag=w.countEntities(emc.getClass());
      }
      if (prevSil > w.countEntities(esi.getClass())) {
        paradoxLevel=paradoxLevel + 4;
        prevSil=w.countEntities(esi.getClass());
      }
      if (prevSke > w.countEntities(esk.getClass())) {
        paradoxLevel=paradoxLevel + 34;
        prevSke=w.countEntities(esk.getClass());
      }
      if (prevSli > w.countEntities(esl.getClass())) {
        paradoxLevel=paradoxLevel + 10;
        prevSli=w.countEntities(esl.getClass());
      }
      if (prevSpi > w.countEntities(esp.getClass())) {
        paradoxLevel=paradoxLevel + 27;
        prevSpi=w.countEntities(esp.getClass());
      }
      if (prevWit > w.countEntities(ewi.getClass())) {
        paradoxLevel=paradoxLevel + 49;
        prevWit=w.countEntities(ewi.getClass());
      }
      if (prevZom > w.countEntities(ez.getClass())) {
        paradoxLevel=paradoxLevel + 20;
        prevZom=w.countEntities(ez.getClass());
      }
      if (prevSheep < w.countEntities(es.getClass())) {
        prevSheep=w.countEntities(es.getClass());
      }
      if (prevPig < w.countEntities(ep.getClass())) {
        prevPig=w.countEntities(ep.getClass());
      }
      if (prevCow < w.countEntities(ec.getClass())) {
        prevCow=w.countEntities(ec.getClass());
      }
      if (prevChick < w.countEntities(eck.getClass())) {
        prevChick=w.countEntities(eck.getClass());
      }
      if (prevSqu < w.countEntities(esq.getClass())) {
        prevSqu=w.countEntities(esq.getClass());
      }
      if (prevWol < w.countEntities(ew.getClass())) {
        prevWol=w.countEntities(ew.getClass());
      }
      if (prevOce < w.countEntities(eo.getClass())) {
        prevOce=w.countEntities(eo.getClass());
      }
      if (prevBat < w.countEntities(eb.getClass())) {
        prevBat=w.countEntities(eb.getClass());
      }
      if (prevGol < w.countEntities(ei.getClass())) {
        prevGol=w.countEntities(ei.getClass());
      }
      if (prevMoo < w.countEntities(em.getClass())) {
        prevMoo=w.countEntities(em.getClass());
      }
      if (prevVil < w.countEntities(ev.getClass())) {
        prevVil=w.countEntities(ev.getClass());
      }
      if (prevEnd < w.countEntities(ee.getClass())) {
        prevEnd=w.countEntities(ee.getClass());
      }
      if (prevZpi < w.countEntities(ezp.getClass())) {
        prevZpi=w.countEntities(ezp.getClass());
      }
      if (prevBla < w.countEntities(ebl.getClass())) {
        prevBla=w.countEntities(ebl.getClass());
      }
      if (prevCsp < w.countEntities(ecs.getClass())) {
        prevCsp=w.countEntities(ecs.getClass());
      }
      if (prevCre < w.countEntities(ecr.getClass())) {
        prevCre=w.countEntities(ecr.getClass());
      }
      if (prevGha < w.countEntities(eg.getClass())) {
        prevGha=w.countEntities(eg.getClass());
      }
      if (prevMag < w.countEntities(emc.getClass())) {
        prevMag=w.countEntities(emc.getClass());
      }
      if (prevSil < w.countEntities(esi.getClass())) {
        prevSil=w.countEntities(esi.getClass());
      }
      if (prevSke < w.countEntities(esk.getClass())) {
        prevSke=w.countEntities(esk.getClass());
      }
      if (prevSli < w.countEntities(esl.getClass())) {
        prevSli=w.countEntities(esl.getClass());
      }
      if (prevSpi < w.countEntities(esp.getClass())) {
        prevSpi=w.countEntities(esp.getClass());
      }
      if (prevWit < w.countEntities(ewi.getClass())) {
        prevWit=w.countEntities(ewi.getClass());
      }
      if (prevZom < w.countEntities(ez.getClass())) {
        prevZom=w.countEntities(ez.getClass());
      }
    }
 else {
      mechanics.returnToPresent(mc,paradoxLevel,mc.getIntegratedServer(),minutes,seconds);
    }
  }
  if (isInPast) {
    if (count == 20) {
      seconds--;
      count=0;
    }
    if (seconds == 0) {
      minutes--;
      seconds=60;
    }
    if (minutes == 0) {
      text="String_Node_Str" + seconds + "String_Node_Str";
    }
    if (minutes <= 0 && seconds <= 1) {
      mechanics.outOfTime(mc,mc.getIntegratedServer(),minutes,seconds,text);
    }
  }
}