ExceptionMethods.java

package soot_tests;

public interface ExceptionMethods {
	public void foo() throws NullPointerException;
}