DefaultColon_after.java

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