Fix javadoc error

Jeremy M Fee requested to merge ghsc/users/jmfee/pdl:javadoc-fix into master Feb 17, 2021