hg: jdk/submit: Merge

[paul.hohensee at gmail.com]

Changeset: 4e2468520ece
Author:    phh
Date:      2018-02-06 11:50 -0800
URL:       http://hg.openjdk.java.net/jdk/submit/rev/4e2468520ece

Merge

- make/autoconf/autogen.sh
- make/autoconf/generated-configure.sh
- make/devkit/createWindowsDevkit.sh
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionCategory.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionDescriptor.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionDescriptors.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionKey.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionType.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/OptionValues.java
- src/jdk.internal.vm.compiler/share/classes/org.graalvm.options/src/org/graalvm/options/package-info.java
- test/jdk/sun/security/krb5/auto/principalProperty/TestHosts