Это ярлык. Это было не так, но Java изменил его.
Этот FAQ говорит об этом кратко. Об этом также говорит руководство по спецификации Java. Но я не могу найти его в Интернете.