November 2017 7.1.2 (9th November 2017) Improvement: new sections for �Licensing�, �Time saved� and �About� have been added to JDeveloper�s JRebel Configuration. Improvement: improved error messages when License Server is unreachable. Bug fix: fixed a process time out error when detecting Java version of a remote server.