Randoop extension to generate PUTs along with modified plugin