Replacing the old randoop file