JetBrains/kotlin — pull request #219 by univerio (2013-03-04 18:14:21+00:00)
Title: Added quickfix for PLATFORM_CLASS_MAPPED_TO_KOTLIN.

Previous attempt: #214

I fixed all of the issues you mentioned. Imports worked fine, even with my previous pull request. I did update to the latest master though.