Re: [errai-users] Target JDK?