[146909] fix for J2EE migrator to update navigator
2 files changed
tree: e37e6a9ce508f258eb6f2c2dadfc0fba270e1c8f
  1. docs/
  2. features/
  3. plugins/