#1298 SF_SWITCH_NO_DEFAULT false positive

[Philipp Wendler]

FindBugs 3.0.0 reports a missing default statement for this code (compiled with javac 7u65):

 public class Test {

   public void testFallthrough(int x) {
     switch (x) {
     case 1:
       System.out.println("irrelevant");
       //$FALL-THROUGH$
     default:
       System.out.println("irrelevant");
       break;
     }
   }
 }

[William Pugh]

We can't correctly exclude this case, because there aren't any break statements in the switch statement. I will change the documentation for the warning to note this case.