JAR update request

2014-03-20 Thread Mark Thomas
Hi, Please could the Eclipse JDT jar be updated to version P20140317-1600 as this is now required by the Tomcat builds (to pick up Java 8 support). I did try to do this myself but I don't have sudo on vmgump so I couldn't make the change. Cheers, Mark --

Re: JAR update request

2014-03-20 Thread Stefan Bodewig
On 2014-03-20, Mark Thomas wrote: > Please could the Eclipse JDT jar be updated to version P20140317-1600 as > this is now required by the Tomcat builds (to pick up Java 8 support). I would if I knew how to obtain it - I'm not an eclipse user myself, so I'd appreciate a download location that doe

Re: JAR update request

2014-03-20 Thread Mark Thomas
On 20/03/2014 08:36, Stefan Bodewig wrote: > On 2014-03-20, Mark Thomas wrote: > >> Please could the Eclipse JDT jar be updated to version P20140317-1600 as >> this is now required by the Tomcat builds (to pick up Java 8 support). > > I would if I knew how to obtain it - I'm not an eclipse user m

Re: JAR update request

2014-03-20 Thread Stefan Bodewig
On 2014-03-20, Mark Thomas wrote: > On 20/03/2014 08:36, Stefan Bodewig wrote: >> On 2014-03-20, Mark Thomas wrote: >>> Please could the Eclipse JDT jar be updated to version P20140317-1600 as >>> this is now required by the Tomcat builds (to pick up Java 8 support). >> I would if I knew how to

BATCH: All dressed up, with nowhere to go...

2014-03-20 Thread gump
Dear Gumpmeisters, The following 3 notifys should have been sent *** G U M P [GUMP@vmgump]: Project apache-httpd-configure (in module apache-httpd) failed [GUMP@vmgump]: Project tika-parsers (in module tika) failed [GUMP@vmgump]: