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