Другие ответы хороши, но не комментируйте это:
"Является ли это правилом или оно не гарантировано не будет изменено в следующем
JDK выпускает? "
Я не верю, что гарантии на будущие JDK существуют, поэтому вам даже не стоит о них беспокоиться. Не будет никакого способа обеспечить их соблюдение, будущие руководители JDK могут просто решить отказаться от таких гарантий. Это похоже на Вестминстерскую систему парламента: «Ни один парламент не может связать будущий парламент».
Тем не менее, история JDK показывает превосходную последовательность. Они не вносят много критических изменений, поэтому вы можете быть уверены, что текущее указанное (не только наблюдаемое) поведение будет сохранено.