I've just been looking through the core pom.xml in HEAD and noticed this;
<profile>
<id>default-tools.jar</id>
<activation>
<property>
<name>java.vendor</name>
<value>Sun Microsystems Inc.</value>
</property>
</activation>
<dependencies>
<dependency>
<groupId>com.sun</groupId>
<artifactId>tools</artifactId>
<version>1.5.0</version>
<scope>system</scope>
<systemPath>${java.home}/../lib/tools.jar</systemPath>
</dependency>
</dependencies>
</profile>
Sun have announced 1.5 is now in it's end of life transition period (see
http://java.sun.com/javase/downloads/index_jdk5.jsp), so should we bump this to
6.0, or if we don't actually need tools.jar maybe remove it?
Al.