Re: [PATCH] jde build problems