JLS 14.21 используется в описание правила для недостижимого оператора, содержащегося в каком-либо операторе. Для конкретики приведу цитату:
Оператор while может завершиться нормально, если верно хотя бы одно из следующего:
Оператор while достижим, а выражение условия не является константным выражением (§15.28) со значением true.
Существует достижимый оператор break, который выходит из оператора while.
Содержащийся оператор достижим, если достижим оператор while и выражение условия не является константным выражением, значение которого равно false.
Я подозреваю, что это всего лишь оператор блока while, например, следующий:
while(true){
//Something
}
Это содержащийся оператор состоит из всего кода, заключенного в круглые скобки, не так ли?