public void addExec(Operation op) {

		/*
		 *  Operatia se va adauga listei curente de executabile;
		 *  doar la apasarea butonului "OK" va fi transmisa mai departe in
		 *  fereastra principala, spre a fi lansata in executie
		 */

		op.setId(Operation.opGlobalId++);
		newSelection.add(op);

		// Executabilul ales din stanga trece in lista din dreapta
		changeLists();
	}