//TODO: Make these panels non-static
mProject = new Project(BUILTIN, "nz.ac.waikato.modeljunit.examples.FSM");
mGraphCurrent = false;
mAnimator = new PanelAnimator(this);
mVisualisation = new PanelJUNGVisualisation();
mCoverage = new PanelCoverage(this);
mResultViewer = new PanelResultViewer();
mTestDesign = new PanelTestDesign(this);
mEfficiencyGraphs = new PanelEfficiencyGraph();
}