Если вы добавите это в файл с именем preferences
in /etc/apt
(создайте его, если его там нет)
Package: openjdk-6-jdk Pin: version 1.9.9 Pin-Priority: 1001
1001 означает, что более старая версия имеет приоритет над любой более новой версией, и поэтому следует установить более старую версию (и сохранить в этом выпуске, даже если вы запускаете dist-upgrade
)