public void openWorkspace(final File theFile){
  WorkspaceSerializer serializer=new WorkspaceSerializer(this);
  try {
    if (theFile != null) {
      clearWorkspace();
      serializer.deserialize(new FileInputStream(theFile));
      setCurrentFile(theFile);
      setWorkspaceChanged(false);
      fireNewWorkspaceOpened();
    }
  }
 catch (  IOException e) {
    e.printStackTrace();
  }
}

public void openWorkspace ( final File theFile ) { WorkspaceSerializer serializer = new WorkspaceSerializer ( this ) ; try { if ( theFile != null ) { clearWorkspace ( ) ; serializer . deserialize ( new FileInputStream ( theFile ) ) ; setCurrentFile ( theFile ) ; setWorkspaceChanged ( false ) ; fireNewWorkspaceOpened ( ) ; } } catch ( IOException e ) { e . printStackTrace ( ) ; } }
open a workspace from a file .
