Added a comment and a TODO.
Got rid of the stylesheet as it does not seem to be needed for javadoc generation (it actually breaks stuff for java7).
Put back java7 building in Travis CI because javadoc stylesheet problem is gone.