more thorough javadoc comments in ReadDemData