Add ID for <pre> tag for showing source code in Javadoc.