tree 9d33d039de0c98050b5a743cb7dbd4bbeac7abf1
parent 269dcf45476be93b48e445d282c541879af52358
author Dani Megert <dmegert> 1275403666 +0000
committer Dani Megert <dmegert> 1275403666 +0000

Fixed bug 313972: Java editor randomly crashes when opening certain Java files (throws IllegalStateException)