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