[errai-users] Target JDK?