You can change the JDK from "JDK 1.7 (latest)" to one of the JDK 9 versions. Since there's no official release of 9 yet, they don't seem to have a "JDK 9 (latest)" profile set up on Jenkins yet.
As for building this, the best solution I've seen so far basically involves a bit of manual configuration using some inline ant tasks or similar overly complicated nonsense which doesn't work well in any IDE to date. It may be worth investigating the existing maven plugin ecosystem and seeing if we need a custom plugin developed for this. Could be a useful feature addition to maven-compiler-plugin, though I haven't tried contributing to Maven yet. Using Maven profiles would help with this so that we can still build most of the project locally with JDK 1.7 or 1.8 as I doubt everyone wants to install JDK 9 on all their development machines while it's still in beta. On 15 March 2017 at 10:07, Ralph Goers <ralph.go...@dslextreme.com> wrote: > I know how to implement the StackWalker code but I don’t quite know how to > get it into the build. The main build needs to keep using Java 7 but of > course the StackWalker stuff needs to be compiled with Java 9. Technically, > I know how I could do that except I have no idea how it would work in > Jenkins. It would also mean that everyone would be required to have Java 9 > installed in order to do the build. > > An alternate approach would be to have the Java 9 specific classes in a > separate repo with its own build. It would have to be “released” but we > really wouldn’t need or want to release those jars to Maven Central as they > would only be needed in the Log4j build - the classes would be copied into > the Log4j jar. > > If any of you know we can set a Jenkins variable to point to the latest > Java 9 version that could solve the problem. > > Ralph > > --------------------------------------------------------------------- > To unsubscribe, e-mail: log4j-dev-unsubscr...@logging.apache.org > For additional commands, e-mail: log4j-dev-h...@logging.apache.org > > -- Matt Sicker <boa...@gmail.com>