ActionManager.getInstance().getAction(Constants.ACTION_TERMINATE) .setEnabled(true);   ActionManager.getInstance().getAction(Constants.ACTION_PREVIOUS) .setEnabled(true);   ActionManager.getInstance().getAction(Constants.ACTION_GOTOSTEP) .setEnabled(true);
	public void display ()	{				System.out.println("PostconditionCheckerState : constructeur");		this.activityScheduler.resetSplitPane();		this.activityScheduler.checkBeforeEnd();				// on masque le bouton next        ActionManager.getInstance().getAction(Constants.ACTION_NEXT)                .setEnabled(false);        // on affiche le bouton terminate        ActionManager.getInstance().getAction(Constants.ACTION_TERMINATE)                .setEnabled(true);        //on affiche le bouton previous        ActionManager.getInstance().getAction(Constants.ACTION_PREVIOUS)                .setEnabled(true);                // on affiche la combobox        ActionManager.getInstance().getAction(Constants.ACTION_GOTOSTEP)                .setEnabled(true);	}