I'm using jmockit to mock the connection class in my code. It appears that in the version of idea 13.1 that is fresh off the press this morning, this causes the editor to not be able to find the real version of the mocked class. This didn't happen on Friday & doesn't happen in the production build.
The code builds correctly with ant & also runs fine in the debugger. It's a bit disconcerting to see the class marked in red all though my code, but seems to be ok otherwise.
I don't have any question here, just posting the observation so others can know about it.