Javadoc improved and made warning-free.