Raspberry PiにOpenJDK をaptでインストールしようとしたら途中でコケてしまい困った。次の方法でインストールした。
% sudo apt install openjdk-9-jdk
（エラー）これでエラーになってしまったため、困る。ぐぐってみると個別にインストールするとうまくいくよ、というアドバイスがあったので試してみる。まず最初にopenjdk-9-jre-headless と openjdk-9-jre の２つを削除してから個別にインストールする。
% sudo apt-get remove openjdk-9-jre-headless openjdk-9-jre
% sudo apt-get install ca-certificates-java
% sudo apt-get install openjdk-9-jre-headless
% sudo apt-get install openjdk-9-jre最後にもう一度 openjdk-9-jdk をインストールし直す。
% sudo apt install openjdk-9-jdkとりあえずインストールだけは無事に終わった。