| changeset 32865 | f9cb6e427f9e |
| parent 25859 | 3317bb8137f4 |
| 32864:2a338536e642 | 32865:f9cb6e427f9e |
|---|---|
38 private CustomMediaTray(int x) { |
38 private CustomMediaTray(int x) { |
39 super(x); |
39 super(x); |
40 |
40 |
41 } |
41 } |
42 |
42 |
43 private synchronized static int nextValue(String name) { |
43 private static synchronized int nextValue(String name) { |
44 customStringTable.add(name); |
44 customStringTable.add(name); |
45 return (customStringTable.size()-1); |
45 return (customStringTable.size()-1); |
46 } |
46 } |
47 |
47 |
48 |
48 |