ソフトウェアのスクリーンショット:
ESC / Java2のは、Javaの拡張静的チェッカーです。それは自動的に、静的、およびモジュール方式一般的なプログラミングエラーを検出します。 JMLで記述されます（オプション）アノテーションを持つJavaプログラムについてのESC / Java2の上の理由から
このリリースの新機能：ます。
いくつかのバグ修正とクリーンアップは、そこには主な機能変更はありませんが、の機能を既存の。
これは最終リリースと最初の安定版リリースであることを意図しています。
コメントが見つかりません