package return_in;

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