Как установить предыдущую версию jrebel для EE в eclipse

Я использую liferay 6.0.6+ jrebel 5.2, но кажется, что jrebel 5.2 приводит к тому, что загрузка каждой страницы сервера liferay зависает на пару секунд. В предыдущей версии такой проблемы не было, но онлайн-установка не дает нам возможности выбрать версию для установки, а вместо этого устанавливает последнюю версию. Итак, как установить предыдущую версию jrebel ee в eclipse? Я пытался заменить jrebel.jar в плагинах eclipse на jrebel.jar версии 5.1.3, но безрезультатно. Спасибо.