private void fireWorkspaceSwitched()
{
for( Iterator<WorkspaceListener> iter = listeners.iterator(); iter.hasNext(); )
{
WorkspaceListener listener = iter.next();
listener.workspaceSwitched( this );
}
}
private String createProjectFileName( String name )
{