adjusted javadoc regeneration script to take new stylesheet into account