Fix compilation of JavaDoc