A stylesheet which changes javadoc after java7 to the style before java6.