In the latest build we had a problem with the documentation that didn't have the right stylesheet because I've built the project using JDK 7.