minLineLength,maxLineLength));
maxLineLength));
	public void exec(Buffer buffer, View view, String arg, Hashtable args)	{		Object o = buffer.getProperty("maxLineLen");		int maxLineLength;		if(o instanceof Integer)			maxLineLength = ((Integer)o).intValue();		else			maxLineLength = 72;		o = buffer.getProperty("minLineLen");		int minLineLength;		if(o instanceof Integer)			minLineLength = ((Integer)o).intValue();		else			minLineLength = 20;		if(arg == null)			arg = view.getTextArea().getSelectedText();		if(arg != null)			view.getTextArea().replaceSelection(doFormat(arg,				minLineLength,maxLineLength));		else		{			try			{				arg = buffer.getText(0,buffer.getLength());				buffer.remove(0,buffer.getLength());				buffer.insertString(0,doFormat(arg,					minLineLength,maxLineLength),null);			}			catch(BadLocationException bl)			{				return;			}		}	}