Інші відповіді хороші, але не коментуйте це:
"Це правило чи це не гарантується, що він не буде змінений у наступних випусках Jdk?"
Я не вірю, що гарантії на майбутні JDK існують, тому ви навіть не повинні їх турбувати. Не вдасться їх застосувати, майбутні керівники JDK можуть просто вирішити відмовитись від таких гарантій. Це як система Вестмінстерського парламенту: "Жоден парламент не може зв'язати майбутній парламент".
Однак, історія JDK виявляє чудову послідовність. Вони не вносять великих порушень, тому ви можете бути впевнені, що поточна визначена (а не лише спостережувана) поведінка буде збережена.