4abfc55 Add (upstreamed) openjdk 1.7 compatibility patch.

Authored and Committed by abo 12 years ago
    Add (upstreamed) openjdk 1.7 compatibility patch.
    
        
file modified
+10 -1