Premain-Class: randoop.instrument.Premain
Can-Redefine-Classes: true
