* @param aName Name of the operation. This name must be unique among all operations.
*/
protected AllOperation(String aName) {
* @param aName Name of the operation. This name must be unique among all operations.
*/
protected AllOperation(String aName) {