fixed JRE7 javadoc issue