}
Trigger currentTrigger = p.activeTrigger();
if (currentTrigger != null) {
//System.out.println(p.getName() + " index is " + currentTrigger.paramIndex());
//this.paramPositions.put(p.getName(),new Integer(currentTrigger.paramIndex()));
sortingArray[currentTrigger.paramIndex()] = p;
}
else {
sortingArray[x] = p;
}
x++;