org.eclipse.jdt.ui.tests.refactoring/resources/SelectionAnalyzerWorkSpace/SelectionAnalyzerTests/invalidSelection/A_test071.java

package invalidSelection;

public class A_test071 {
	public int foo() {
		int i= foo();
		/*]*/switch (i) {
			case 1:
				foo();
			case 2:
				foo();
				foo();
			case 3:
				foo();
			default:
				foo();	
		/*]*/}
		return i;
	}
}