Author: bbrodt
Date: 2010-11-23 15:03:11 -0500 (Tue, 23 Nov 2010)
New Revision: 26857
Modified:
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java
Log:
https://jira.jboss.org/browse/JBIDE-7724
synchronize access to image and color registries
Modified:
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java
===================================================================
---
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java 2010-11-23
20:02:47 UTC (rev 26856)
+++
trunk/bpel/plugins/org.eclipse.bpel.common.ui/src/org/eclipse/bpel/common/ui/CommonUIPlugin.java 2010-11-23
20:03:11 UTC (rev 26857)
@@ -99,7 +99,8 @@
* @see org.eclipse.ui.plugin.AbstractUIPlugin#getImageRegistry()
*/
@Override
- public ImageRegistry getImageRegistry() {
+ //
https://jira.jboss.org/browse/JBIDE-7724
+ public synchronized ImageRegistry getImageRegistry() {
ImageRegistry result = super.getImageRegistry();
initialize();
return result;
@@ -109,7 +110,8 @@
* Return color registry.
* @return the color registry.
*/
- public ColorRegistry getColorRegistry() {
+ //
https://jira.jboss.org/browse/JBIDE-7724
+ public synchronized ColorRegistry getColorRegistry() {
if (colorRegistry == null) {
colorRegistry = new ColorRegistry();
initialize();