JetBrains/kotlin — pull request #178 by kfc35 (2013-02-07 18:22:50+00:00)
Title: Added quickfix for NULLABLE_SUPERTYPE

Cheers for my first quickfix!