Если нет, то когда это предусмотрено?
Если да, знаете ли вы, есть ли что-то особенное для миграции существующей установки Tomcat 7 / Java 6 на Tomcat 7 / Java 7?
Спасибо!