Have javadoc task render groups in the order they were defined

After a lot of delegation, the Javadoc task keeps group definitions in a HashMap<String, List<String>> (see org.gradle.external.javadoc.optionfile.GroupsJavadocOptionFileOption), which of course loses the order in which the groups are defined.