The winter is approaching, and we should start thinking about the coming Isabelle release. Looking for constraints and side-conditions, I've found the next scheduled jdk-8 release by Oracle: 20-Jan-2016. Since current jdk-8u66 appears to be somehow "intermediate", I looks worth including that. Are there further constraints? Makarius