01: package org.wfmc.wapi;
02:
03: public class WMInvalidSourceUserException extends
04: WMInvalidObjectException {
05: private static final long serialVersionUID = 513114213906971762L;
06:
07: public WMInvalidSourceUserException(String sourceUser) {
08: super(WMError.WM_INVALID_SOURCE_USER, sourceUser);
09: }
10: }
|