[rhdunn]

The best thing to do here is to check the IntelliJ bug tracker (https://youtrack.jetbrains.com/issues/IDEA) to see if your issue is there, and if not create a ticket for it. That way, it is more likely to be fixed.