Todd Volkert wrote:
> We're going to make the following changes and call for another vote:
> * Remove plugin.jar from the source distribution since developers that
> have the JDK installed already have that JAR anyway -- we'll provide
> instructions in BUILD on how to add it to your classpath.
As I said on pivot-dev, feel free to pursue whether or not there is a
redistribution right for future use.
> * Replace the servlet JAR with Tomcat's (it actually may be already --
> some of the confusion is due to the fact that it's been checked in for
> over a year, and no one knows where we go it to begin with)
<<grin>> Todd, see? This is exactly why we go through this angst. :-) We
do need to know where the stuff came from (and what rights go with it). :-)
> * Remove junit.jar from our source distribution and list is a system
> requirement in BUILD
Is this something you want to do, or are you thinking that it is necessary?
I was just checking, and we have it in JAMES. And neither Niclas nor
Luciano raised an issue. Did I miss one?
--- Noel
---------------------------------------------------------------------
To unsubscribe, e-mail: general-unsubscr...@incubator.apache.org
For additional commands, e-mail: general-h...@incubator.apache.org
