[jbosstools-issues] [JBoss JIRA] (JBIDE-9233) Exception in log while quick editing a file

Exception in log while quick editing a file ------------------------------------------- Key: JBIDE-9233 URL: https://issues.jboss.org/browse/JBIDE-9233 Project: Tools (JBoss Tools) Issue Type: Bug Components: CDI Affects Versions: 3.3.0.M2 Reporter: Lukas Jungmann Assignee: Viacheslav Kabanovich Priority: Minor Fix For: LATER Attachments: ide.log I have created method @Inject public String getX( @Named String a) { return a; } which was the last method in a class file. Then I manually reformatted it to @Inject public String getX( @Named String a) { return a; } } with 10 empty lines instead of 1 left here for readability. Then I deleted each set of spaces by selecting it all and using Delete button. Finally, I started quickly repeat Undo-Save-Redo-Save with fast keys. Several rounds resulted in the exception found in ide's log. That kind of intensive 'work' may result in other exceptions as well.