[Bug classpath/28035] java.rmi.server.UID does not return unique IDs

[audriusa at bluewin dot ch]

------- Comment #5 from audriusa at bluewin dot ch  2006-06-19 10:11 -------
Created an attachment (id=11697)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11697&action=view)
Second fix

This patch synchronizes on the whole constructor body. It must be applied
subsequently after the first patch. 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28035