Helper classes for the Soot GUI.