added function to generate statistic numbers for javadoc