1: package org.wfmc.wapi; 2: 3: public class WMInvalidToolException extends WMInvalidObjectException { 4: private static final long serialVersionUID = 5418088184966105826L; 5: 6: public WMInvalidToolException(String toolId) { 7: super(WMError.WM_EXECUTE_FAILED, toolId); 8: } 9: }