equal
deleted
inserted
replaced
28 import java.awt.AWTEvent; |
28 import java.awt.AWTEvent; |
29 import java.util.Collections; |
29 import java.util.Collections; |
30 import java.util.HashSet; |
30 import java.util.HashSet; |
31 import java.util.IdentityHashMap; |
31 import java.util.IdentityHashMap; |
32 import java.util.Map; |
32 import java.util.Map; |
33 import java.util.logging.Logger; |
33 import sun.util.logging.PlatformLogger; |
34 |
34 |
35 /** |
35 /** |
36 * This class is to let AWT shutdown automatically when a user is done |
36 * This class is to let AWT shutdown automatically when a user is done |
37 * with AWT. It tracks AWT state using the following parameters: |
37 * with AWT. It tracks AWT state using the following parameters: |
38 * <ul> |
38 * <ul> |
361 return peerMap.get(target); |
361 return peerMap.get(target); |
362 } |
362 } |
363 } |
363 } |
364 } |
364 } |
365 |
365 |
366 final void dumpPeers(final Logger aLog) { |
366 final void dumpPeers(final PlatformLogger aLog) { |
367 synchronized (activationLock) { |
367 synchronized (activationLock) { |
368 synchronized (mainLock) { |
368 synchronized (mainLock) { |
369 aLog.fine("Mapped peers:"); |
369 aLog.fine("Mapped peers:"); |
370 for (Object key : peerMap.keySet()) { |
370 for (Object key : peerMap.keySet()) { |
371 aLog.fine(key + "->" + peerMap.get(key)); |
371 aLog.fine(key + "->" + peerMap.get(key)); |