tests/org.eclipse.wst.jsdt.core.tests.model/workspace/Completion/src2/CompletionKeywordDefault5.js

public class CompletionKeywordDefault5 {
	void foo(){
		switch(0){
			default:
			def	
		}
	}
}