Workaround jdk1.6 bug when generating javadocs