small generic clarification for jdk7