Hover Help

This section describes the hover help available in the Soot Eclipse Plugin.