released 4.0.13 (built against JDK 8 EA b120) and 4.0.14