Bug Javadoc generation