question: public boolean saveAs ( File file ) { boolean result ; File backupFile ; if ( m_Document == null ) { return true ; } if ( ! checkExtension ( file ) ) { file = new File ( file . getPath ( ) + getDefaultExtension ( ) ) ; } if ( file . exists ( ) ) { backupFile = new File ( file . getPath ( ) + BACKUP_EXTENSION ) ; try { ScriptUtils . copy ( file , backupFile ) ; } catch ( Exception e ) { e . printStackTrace ( ) ; } } try { result = ScriptUtils . save ( file , m_Document . getText ( 0 , m_Document . getLength ( ) ) ) ; m_Filename = file ; m_Modified = false ; } catch ( Exception e ) { e . printStackTrace ( ) ; result = false ; } return result ; }
target:  Saves the file under with the given filename (and updates the internal filename).