i think the following labels are all ok;
although rejected by rule NonCaseLabelInSwitchStatement
skipped: while (true) {
this.currChar = this.buffer.readChar();
switch (this.currChar) {
case '>':
break skipped;
case -1:
this.parseExceptionHandler
.foundUnexpectedEndOfDocument();
break;
default:
this.parseExceptionHandler
.foundCharAfterEndOfEndTag
((char) this.currChar);
} // switch
}