Javadoc for the ID generator