Soot Plugin Editors
This section describes the Soot related editors available when using the Soot Eclipse Plugin.