code: public static PID pidFromFilename(String filename)
              throws MalformedPidException {
          try {
              return PID.fromFilename(filename);
          } catch (MalformedPIDException e) {
              throw new MalformedPidException(e.getMessage());
          }
      }
docs: Wraps PID.fromFilename, throwing a ServerException instead