*********** Exception occurred ************                                                                                              
Tue Oct 23 10:57:27 CEST 2001: java.lang.NullPointerException: null                                                                      
java.lang.NullPointerException                                                                                                           
        at org.openide.text.DocumentLine.attachDetachAnnotations(DocumentLine.java:342)                                                  
        at org.openide.text.DocumentLine$LR.run(DocumentLine.java:588)                                                                   
        at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:154)                                                             
        at java.awt.EventQueue.dispatchEvent(EventQueue.java:337)                                                                        
[catch] at java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:131)                                           
        at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:98)                                              
        at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)                                                          
        at java.awt.EventDispatchThread.run(EventDispatchThread.java:85)