8d13f1 Add patch to make eclipse not crash (#803878)

Authored and Committed by Benjamin Otte 12 years ago
    Add patch to make eclipse not crash (#803878)
    
        
file modified
+6 -1