produce valid javadoc