Do you know what the exact problem was? Was it about the CSS used by the JavaDocs? If so, we can take the CSS from ORM/HV which is already working with the JDK 7 generated JavaDocs (they changed the classes which need to be customized via CSS).