org.eclipse.jdt.core.tests.model/workspace/Completion/src2/CompletionKeywordDefault8.java

public class CompletionKeywordDefault8 {
	void foo(){
		#
		switch(0){
			case 0:
				break;
			def	
		}
	}
}