This rule is defined by the following XPath expression:
//SwitchStatement [not(SwitchLabel[position() = last()][@Default='true'])] [SwitchLabel[@Default='true']]
Example:
public class Foo { void bar(int a) { switch (a) { case 1: // do something break; default: // the default case should be last, by convention break; case 2: break; } } }