Made the comments compatible with the Javadoc app.