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 09:42:03 GMT
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 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 :-)

> Thanks. The direct download link is:


Should be available on the next build, unless my inferior knowledge or
my slipping fingers messed things up, that is :-)


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

View raw message