1package casesensitive 2 3/*@ 4workspacesymbolcasesensitive("dunk", dunk) 5workspacesymbolcasesensitive("Dunk", Dunk) 6*/ 7