Also delete frizzle.jar explicitly, in case it is overridden somewhere.