org.epics.util: javadoc fix