Противоречия нет. Для работы с этими типами из Java не предусмотрено API ибо для этого не было use-cases. ProGuard первый на моей памяти кому оно понадобилось. Теперь есть повод посмотреть какое API там нужно и задизайнить что-нибудь для этого.
ProGuard из-эа того не может добавить поддержку 1.6, это означает что как минимум андроид разработчики тоже не будут на 1.6 переходить. JetBrains, который сильно старается увеличивать adoption своих продуктов, это должно волновать.
Давайте вместе подумаем какие варианты есть данный конкретный пример пофиксить. Что можно сделать сегодня ?
Мне чёт тоже кажется, что тон беседы можно прикрутить. Вам никто ничего не сказал эдакого, чтобы вы так себя вели. Есть проблемы -- идите на ютрек, а не брюзжите слюной здесь.
Конечно милые, помню недавний тред какого-то сибирского татарина который жаловался в твиттере как он хочет платящим кастомерам (мне например) по губам водить.