いろいろとひと段落がついて時間が出来たのと、Eclipseの最新版が出ていたのでEclipse 2018-12）に変更します。 これまでは Eclipse4.7を使っていました。 Windows10 64bitにzip版…