// Wraps PID constructor, throwing a ServerException instead
public static PID getPID(String pidString) throws MalformedPidException {
try {
return new PID(pidString);
} catch (MalformedPIDException e) {
throw new MalformedPidException(e.getMessage());
}
}