RE: [PATCH] jde build problems

[Andy Piper]

Er, the new binary package has been up for a couple of weeks now. You
shouldn't be seeing this problem anymore if you upgraded.

andy

> Any workaround, before we get that new package?