fixed random NPE at resource set initialization
diff --git a/plugins/org.eclipse.mylyn.docs.intent.collab.ide/src/org/eclipse/mylyn/docs/intent/collab/ide/repository/WorkspaceRepository.java b/plugins/org.eclipse.mylyn.docs.intent.collab.ide/src/org/eclipse/mylyn/docs/intent/collab/ide/repository/WorkspaceRepository.java
index 1da7e0b..a2235ca 100644
--- a/plugins/org.eclipse.mylyn.docs.intent.collab.ide/src/org/eclipse/mylyn/docs/intent/collab/ide/repository/WorkspaceRepository.java
+++ b/plugins/org.eclipse.mylyn.docs.intent.collab.ide/src/org/eclipse/mylyn/docs/intent/collab/ide/repository/WorkspaceRepository.java
@@ -151,7 +151,7 @@
*
* @see org.eclipse.mylyn.docs.intent.collab.repository.Repository#getOrCreateSession()
*/
- public Object getOrCreateSession() throws RepositoryConnectionException {
+ public synchronized Object getOrCreateSession() throws RepositoryConnectionException {
// We first initialize the resource set if needed
if (!isResourceSetLoaded) {
@@ -176,7 +176,7 @@
*
* @see org.eclipse.mylyn.docs.intent.collab.repository.Repository#closeSession()
*/
- public void closeSession() throws RepositoryConnectionException {
+ public synchronized void closeSession() throws RepositoryConnectionException {
if (this.session != null) {
ResourcesPlugin.getWorkspace().removeResourceChangeListener(session);
this.session.close();