protected void saveHistory(){
  BufferedOutputStream str;
  try {
    str=new BufferedOutputStream(new FileOutputStream(getHistoryFilename()));
    m_History.store(str,"SQL-Viewer-History");
  }
 catch (  Exception e) {
    e.printStackTrace();
  }
}

protected void saveHistory ( ) { BufferedOutputStream str ; try { str = new BufferedOutputStream ( new FileOutputStream ( getHistoryFilename ( ) ) ) ; m_History . store ( str , "SQL-Viewer-History" ) ; } catch ( Exception e ) { e . printStackTrace ( ) ; } }
saves the history properties of the sqlviewer in the user ' s home directory .
