wrote JavaDoc for listsShortlex and stringsShortlex