Merge "AIDEGen: Reset the running time counter"