Hello devs, I know most of us have been using jenv (http://jenv.be) to develop in parallel on different branches in the past. In view of our recent upgrade (and our ongoing support for 4.13), I've been taking this up with INFRA and they suggested that we use the maven toolchain plugin instead. I opened ticket https://issues.apache.org/jira/browse/INFRA-19817 to discuss it with them. You can find relevant link in that ticket. Please, let me know your thoughts? regards,
-- Daan
