Fix JavaDoc stylesheet so it works with Java 7. Closes #457