source: src/test/java/agents/nastyagent/BadSuperInit.java@ 1

package agents.nastyagent;


public class BadSuperInit extends NastyAgent {

        public BadSuperInit() {
                throw new NullPointerException("just throwing for fun");
        }

}