今日、1.3 .0.Finalのバグフィックス版である1.3 .1.Finalがリリースされました。このバージョンにはバグ修正とドキュメントの改善が含まれており、Java11を新たに生成されるプロジェクトのデフォルトターゲットにしています。 これは1.3 .0を使っているすべ…