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

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