Enhance javadoc, remove obsolete isEmpty() method.