Managing the Graph View

Managing the Graph View of the Bio-PEPA Eclipse Plugin: