Changes

Summary

[539949] Activity Explorer is not closed after Eclipse is restarted and (details)

Commit 6e87549fec6c5d8bfb300e1cdd3f2d7c8c477fec by Minh Tu Ton That [539949] Activity Explorer is not closed after Eclipse is restarted and the session is closed Bug: 539949 Change-Id: I508a4bf629d740f8559420ce803c6ab76c64686e Signed-off-by: Tu Ton <minhtutonthat@gmail.com>
The file was modified	plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/ActivityExplorerEditor.java