Re: Generating javadoc in Tomcat 7 with jdk 7 when java.7.home is set

2013-10-23 Thread Konstantin Kolinko
2013/10/22 Violeta Georgieva : > 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 in Tomcat 7 with jdk 7 when java.7.home is set

2013-10-22 Thread Violeta Georgieva
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.ho