org.eclipse.jdt.core.tests.model/workspace/Completion/src/CompletionAfterCase2.java

public class CompletionAfterCase2 {
	static final int zzz = 5;
	void foo(){
		switch(1) {
			case 25:
			case zz
		}
	}
}