* @param dotFile
* .dot file which is displayed
*/
static public void showDotImage(final Image img, final String title,
final String secondaryID, final File dotFile) {
final GraphImageView view = (GraphImageView) showView(GRAPH_VIEW, secondaryID);
view.setViewTitle(title);
view.setImage(img);
view.setDotFile(dotFile);
}