Interstage Studio V12.2.0 ユーザーズガイド Java EE 6編

9.6.5 ビルドの設定を変更する

ファイル保存時にビルドする必要が無い場合、[プロジェクト] > [自動的にビルド]のチェックを外すことでワークベンチの性能が改善される場合があります。