assert fileName != null;
	public void save( ) throws IOException	{		String fileName = getFileName( );		assert fileName != null;		if ( fileName == null )			return;		module.prepareToSave( );		module.getWriter( ).write( new File( getModule( ).getFileName( ) ) );		module.onSave( );	}