Added javadoc (ignored here)