DefaultColon.java

class Foo {
    void foo(String a) {
        switch (a) {
            default<caret>
        }
    }
}