package return_in;

public class A_test718 {
	public boolean foo() {
		int i= 0;
		/*[*/switch(i) {
			case 10:
				throw new NullPointerException();	
			default:
				return false;
		}/*]*/
	}
}