Hi, I'm looking at the issue with javadoc reported by Rainer [1] I know that we've decided to use the quick-fix tool for javadoc instead of jdk 7 [2]. But that was before websocket downport that require jdk 7 for building.
What do you think if we start generating javadoc with jdk 7 when java.7.home is set as suggested by Rainer ? Thanks Violeta [1] http://markmail.org/message/hv2e32eo5du22dyf?q=7%2E0%2E47&page=2 [2] http://markmail.org/message/344mf45rhjfttuim?q=CVE-2013-1571%2C+VU%23225657+list:org%2Eapache%2Etomcat%2Edev/