clarified javadoc for getKey() and size()