Linux Mint 17のJDKを入れなおす ソフトウェア・パッケージを最新に ...