July 2017 7.0.13 (31th July 2017) IDE: Bug fix: fixed JRebel reactivation for cases where previous License Server group was no longer valid.