[ jEdit-devel ] Bug report #126610 -- suggested fixes

As mentioned in my latest comment to Bug Report #126610, here are revised
files containing suggested changes.

Changes are found in --
BeanShellAction.java : new method MakeCopy()
Macros.java : new method expandMacroListName()
MenuItemModel.java : revised constructor contains new code block for user
buttons that invoke macros

In addition, the following node should be added to actions.xml:

<ACTION NAME="play-macro">
	<CODE>
		BeanShell.runScript(view, "@@", false);
	</CODE>
</ACTION>