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