gump-general mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stefan Bodewig <>
Subject Re: JAR update request
Date Thu, 20 Mar 2014 08:36:22 GMT
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 doesn't force me to download a
full Eclipse distribution :-)


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message