PC用ページのページでUbuntuのopenjdk-9-jdkのインストールに失敗したときの解決方法を読む。