Bug fix: fields were not recognised for older version of javadoc