public java.lang.String getJudName() {
   if (outputProps != null) return (outputProps.getJudName());
   else return (inputProps.getJudName());
 }