November 2017 7.1.2 (9th November 2017) Feature: Eclipse and Maven users can now delegate IDE rebel.xml generation to external build tool (pilot). Improvement: improved error messages when License Server is unreachable. Bug fix: enabling JRebel for multiple projects in JRebel Configuration simultaneously no longer renders the UI unresponsive. Bug fix: fixed an ArrayIndexOutOfBoundsException when opening JRebel Activation after deleting a license file. Bug fix: fixed a process time out error when detecting Java version of a remote server. Bug fix: rebel-remote.xml is now placed in the same path as rebel.xml (path provided by the Eclipse build tool). Bug fix: fixed the slow rebel.xml path lookup for Gradle projects following an Eclipse restart with periodic caching.