# HG changeset patch
# User Marco Steger <m.steger@student.tugraz.at>
# Date 1283282103 -7200
# Node ID 62186eba092b252c450c682c0a5bd4ee96e48e2d
# Parent  d13fa2ee5bdb55c91a96b9341acd680e4b124f61
cleaned isac directory

diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/README
--- a/src/Tools/isac/jEditC/README	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,77 +0,0 @@
-Isabelle/jEdit based on Isabelle/Scala
-======================================
-
-The Isabelle/Scala layer that is already part of Isabelle/Pure
-provides some general infrastructure for advanced prover interaction
-and integration.  The Isabelle/jEdit application serves as an example
-for asynchronous proof checking with support for parallel processing.
-
-See also the paper:
-
-  Makarius Wenzel. Asynchronous Proof Processing with Isabelle/Scala
-  and Isabelle/jEdit. In C. Sacerdoti Coen and D. Aspinall, editors,
-  User Interfaces for Theorem Provers (UITP 2010), FLOC 2010 Satellite
-  Workshop, Edinburgh, Scotland, July 2010. To appear in ENTCS.
-  http://www4.in.tum.de/~wenzelm/papers/async-isabelle-scala.pdf
-
-
-Some limitations of the current implementation (as of Isabelle2009-2):
-
-  * No provisions for editing multiple theory files.
-
-  * No reclaiming of old/unused document versions.  Memory will fill
-    up eventually, both on the JVM and ML side.
-
-  * No support for non-local markup, e.g. commands reporting on
-    previous commands (proof end on proof head), or markup produced by
-    loading external files.
-
-  * Some performance bottlenecks for massive amount of markup,
-    e.g. when processing large ML sections.
-
-  * General lack of various conveniences known from Proof General.
-
-Despite these shortcomings, Isabelle/jEdit already demonstrates that
-interactive theorem proving can be much more than command-line
-interaction via TTY or editor front-ends (such as Proof General and
-its many remakes).
-
-
-Known problems with Mac OS
-==========================
-
-- The MacOSX plugin for jEdit disrupts regular C-X/C/V operations,
-  e.g. between the editor and the Console plugin, which is a standard
-  swing text box.  Similar for search boxes etc.
-
-- Anti-aliasing does not really work as well as for Linux or Windows.
-  (General Apple/Swing problem?)
-
-- Font.createFont mangles the font family of non-regular fonts,
-  e.g. bold.  IsabelleText font files need to be installed manually.
-
-- ToggleButton selected state is not rendered if window focus is lost,
-  which is probably a genuine feature of the Apple look-and-feel.
-
-
-Windows/Linux
-=============
-
-- Works best with Sun Java 1.6.x -- avoid OpenJDK for now.
-
-
-Licenses and home sites of contributing systems
-===============================================
-
-* Scala: BSD-style
-  http://www.scala-lang.org
-
-* jEdit: GPL (with special cases)
-  http://www.jedit.org/
-
-* Lobo/Cobra: GPL and LGPL
-  http://lobobrowser.org/
-
-
-     Makarius
-     31-May-2010
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/.Untitled-1.marks
Binary file src/Tools/isac/jEditC/contrib/jEdit/.Untitled-1.marks has changed
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.iml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.iml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<module relativePaths="true" type="JAVA_MODULE" version="4">
-  <component name="NewModuleRootManager" inherit-compiler-output="true">
-    <exclude-output />
-    <content url="file://$MODULE_DIR$">
-      <sourceFolder url="file://$MODULE_DIR$" isTestSource="false" />
-    </content>
-    <orderEntry type="inheritedJdk" />
-    <orderEntry type="sourceFolder" forTests="false" />
-    <orderEntry type="module" module-name="jEdit" />
-  </component>
-</module>
-
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/Isac.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,245 +0,0 @@
-/*
- * Isac.java
- * part of the Isac plugin for the jEdit text editor
- * Copyright (C) 2001 John Gellene
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: Isac.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-// {{{ imports
-import java.awt.BorderLayout;
-import java.awt.Dimension;
-import java.awt.Font;
-import java.io.BufferedReader;
-import java.io.File;
-import java.io.FileNotFoundException;
-import java.io.FileReader;
-import java.io.FileWriter;
-import java.io.IOException;
-
-import javax.swing.JFileChooser;
-import javax.swing.JPanel;
-import javax.swing.JScrollPane;
-
-import org.gjt.sp.jedit.EBComponent;
-import org.gjt.sp.jedit.EBMessage;
-import org.gjt.sp.jedit.EditBus;
-import org.gjt.sp.jedit.GUIUtilities;
-import org.gjt.sp.jedit.View;
-import org.gjt.sp.jedit.jEdit;
-import org.gjt.sp.jedit.gui.DefaultFocusComponent;
-import org.gjt.sp.jedit.gui.DockableWindowManager;
-import org.gjt.sp.jedit.msg.PropertiesChanged;
-import org.gjt.sp.util.Log;
-import org.gjt.sp.util.StandardUtilities;
-// }}}
-
-// {{{ Isac class
-/**
- * 
- * Isac - a dockable JPanel, a demonstration of a jEdit plugin.
- *
- */
-public class Isac extends JPanel
-    implements EBComponent, IsacActions, DefaultFocusComponent {
-
-    // {{{ Instance Variables
-	private static final long serialVersionUID = 6412255692894321789L;
-
-	private String filename;
-
-	private String defaultFilename;
-
-	private View view;
-
-	private boolean floating;
-
-	private IsacTextArea textArea;
-
-	private IsacToolPanel toolPanel;
-    // }}}
-
-    // {{{ Constructor
-	/**
-	 * 
-	 * @param view the current jedit window
-	 * @param position a variable passed in from the script in actions.xml,
-	 * 	which can be DockableWindowManager.FLOATING, TOP, BOTTOM, LEFT, RIGHT, etc.
-	 * 	see @ref DockableWindowManager for possible values.
-	 */
-	public Isac(View view, String position) {
-		super(new BorderLayout());
-		this.view = view;
-		this.floating = position.equals(DockableWindowManager.FLOATING);
-
-		if (jEdit.getSettingsDirectory() != null) {
-			this.filename = jEdit.getProperty(IsacPlugin.OPTION_PREFIX
-					+ "filepath");
-			if (this.filename == null || this.filename.length() == 0) {
-				this.filename = new String(jEdit.getSettingsDirectory()
-						+ File.separator + "qn.txt");
-				jEdit.setProperty(
-						IsacPlugin.OPTION_PREFIX + "filepath",
-						this.filename);
-			}
-			this.defaultFilename = this.filename;
-		}
-
-		this.toolPanel = new IsacToolPanel(this);
-		add(BorderLayout.NORTH, this.toolPanel);
-
-		if (floating)
-			this.setPreferredSize(new Dimension(500, 250));
-
-		textArea = new IsacTextArea();
-		textArea.setFont(IsacOptionPane.makeFont());
-
-		JScrollPane pane = new JScrollPane(textArea);
-		add(BorderLayout.CENTER, pane);
-
-		readFile();
-	}
-    // }}}
-
-    // {{{ Member Functions
-    
-    // {{{ focusOnDefaultComponent
-	public void focusOnDefaultComponent() {
-		textArea.requestFocus();
-	}
-    // }}}
-
-    // {{{ getFileName
-	public String getFilename() {
-		return filename;
-	}
-    // }}}
-
-	// EBComponent implementation
-	
-    // {{{ handleMessage
-	public void handleMessage(EBMessage message) {
-		if (message instanceof PropertiesChanged) {
-			propertiesChanged();
-		}
-	}
-    // }}}
-    
-    // {{{ propertiesChanged
-	private void propertiesChanged() {
-		String propertyFilename = jEdit
-				.getProperty(IsacPlugin.OPTION_PREFIX + "filepath");
-		if (!StandardUtilities.objectsEqual(defaultFilename, propertyFilename)) {
-			saveFile();
-			toolPanel.propertiesChanged();
-			defaultFilename = propertyFilename;
-			filename = defaultFilename;
-			readFile();
-		}
-		Font newFont = IsacOptionPane.makeFont();
-		if (!newFont.equals(textArea.getFont())) {
-			textArea.setFont(newFont);
-		}
-	}
-    // }}}
-
-	// These JComponent methods provide the appropriate points
-	// to subscribe and unsubscribe this object to the EditBus.
-
-    // {{{ addNotify
-	public void addNotify() {
-		super.addNotify();
-		EditBus.addToBus(this);
-	}
-     // }}}
-     
-    // {{{ removeNotify
-	public void removeNotify() {
-		saveFile();
-		super.removeNotify();
-		EditBus.removeFromBus(this);
-	}
-    // }}}
-    
-	// IsacActions implementation
-
-    // {{{
-	public void saveFile() {
-		if (filename == null || filename.length() == 0)
-			return;
-		try {
-			FileWriter out = new FileWriter(filename);
-			out.write(textArea.getText());
-			out.close();
-		} catch (IOException ioe) {
-			Log.log(Log.ERROR, Isac.class,
-					"Could not write notepad text to " + filename);
-		}
-	}
-    // }}}
-    
-    // {{{ chooseFile
-	public void chooseFile() {
-		String[] paths = GUIUtilities.showVFSFileDialog(view, null,
-				JFileChooser.OPEN_DIALOG, false);
-		if (paths != null && !paths[0].equals(filename)) {
-			saveFile();
-			filename = paths[0];
-			toolPanel.propertiesChanged();
-			readFile();
-		}
-	}
-    // }}}
-
-    // {{{ copyToBuffer
-	public void copyToBuffer() {
-		jEdit.newFile(view);
-		//GAdei Test view.getEditPane().getTextArea().setText(textArea.getText());
-                view.getEditPane().getTextArea().setText("Gadei the King");
-	}
-    // }}}
-    // {{{ readFile()
-	/**
-	 * Helper method
-	 */
-	private void readFile() {
-		if (filename == null || filename.length() == 0)
-			return;
-
-		BufferedReader bf = null;
-		try {
-			bf = new BufferedReader(new FileReader(filename));
-			StringBuffer sb = new StringBuffer(2048);
-			String str;
-			while ((str = bf.readLine()) != null) {
-				sb.append(str).append('\n');
-			}
-			bf.close();
-			textArea.setText(sb.toString());
-		} catch (FileNotFoundException fnf) {
-			Log.log(Log.ERROR, Isac.class, "notepad file " + filename
-					+ " does not exist");
-		} catch (IOException ioe) {
-			Log.log(Log.ERROR, Isac.class,
-					"could not read notepad file " + filename);
-		}
-	}
-    // }}}
-    // }}}
-}
-// }}}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacActions.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacActions.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,30 +0,0 @@
-/*
- * IsacActions.java
- * part of the Isac plugin for the jEdit text editor
- * Copyright Gadei
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: IsacActions.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-interface IsacActions {
-	void chooseFile();
-
-	void saveFile();
-
-	void copyToBuffer();
-}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacOptionPane.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacOptionPane.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,127 +0,0 @@
-/*
- * IsacOptionPane.java
- * part of the Isac plugin for the jEdit text editor
- * Copyright (C) 2001 John Gellene
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: IsacOptionPane.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-import java.awt.BorderLayout;
-import java.awt.Font;
-import java.awt.event.ActionEvent;
-import java.awt.event.ActionListener;
-
-import javax.swing.JButton;
-import javax.swing.JCheckBox;
-import javax.swing.JFileChooser;
-import javax.swing.JPanel;
-import javax.swing.JTextField;
-
-import org.gjt.sp.jedit.AbstractOptionPane;
-import org.gjt.sp.jedit.GUIUtilities;
-import org.gjt.sp.jedit.jEdit;
-import org.gjt.sp.jedit.gui.FontSelector;
-
-public class IsacOptionPane extends AbstractOptionPane implements
-		ActionListener {
-	private JCheckBox showPath;
-
-	private JTextField pathName;
-
-	private FontSelector font;
-
-	public IsacOptionPane() {
-		super(IsacPlugin.NAME);
-	}
-
-	public void _init() {
-		showPath = new JCheckBox(jEdit
-				.getProperty(IsacPlugin.OPTION_PREFIX
-						+ "show-filepath.title"), jEdit.getProperty(
-				IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
-				"true"));
-		addComponent(showPath);
-
-		pathName = new JTextField(jEdit
-				.getProperty(IsacPlugin.OPTION_PREFIX + "filepath"));
-		JButton pickPath = new JButton(jEdit
-				.getProperty(IsacPlugin.OPTION_PREFIX + "choose-file"));
-		pickPath.addActionListener(this);
-
-		JPanel pathPanel = new JPanel(new BorderLayout(0, 0));
-		pathPanel.add(pathName, BorderLayout.CENTER);
-		pathPanel.add(pickPath, BorderLayout.EAST);
-
-		addComponent(jEdit.getProperty(IsacPlugin.OPTION_PREFIX
-				+ "file"), pathPanel);
-
-		font = new FontSelector(makeFont());
-		addComponent(jEdit.getProperty(IsacPlugin.OPTION_PREFIX
-				+ "choose-font"), font);
-	}
-
-	public void _save() {
-		jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "filepath",
-				pathName.getText());
-		Font _font = font.getFont();
-		jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "font", _font
-				.getFamily());
-		jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "fontsize", String
-				.valueOf(_font.getSize()));
-		jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "fontstyle",
-				String.valueOf(_font.getStyle()));
-		jEdit.setProperty(IsacPlugin.OPTION_PREFIX + "show-filepath",
-				String.valueOf(showPath.isSelected()));
-	}
-
-	// end AbstractOptionPane implementation
-
-	// begin ActionListener implementation
-	public void actionPerformed(ActionEvent evt) {
-		String[] paths = GUIUtilities.showVFSFileDialog(null, null,
-				JFileChooser.OPEN_DIALOG, false);
-		if (paths != null) {
-			pathName.setText(paths[0]);
-		}
-	}
-
-	// helper method to get Font from plugin properties
-	static public Font makeFont() {
-		int style, size;
-		String family = jEdit.getProperty(IsacPlugin.OPTION_PREFIX
-				+ "font");
-		try {
-			size = Integer
-					.parseInt(jEdit
-							.getProperty(IsacPlugin.OPTION_PREFIX
-									+ "fontsize"));
-		} catch (NumberFormatException nf) {
-			size = 14;
-		}
-		try {
-			style = Integer
-					.parseInt(jEdit
-							.getProperty(IsacPlugin.OPTION_PREFIX
-									+ "fontstyle"));
-		} catch (NumberFormatException nf) {
-			style = Font.PLAIN;
-		}
-		return new Font(family, style, size);
-	}
-
-}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacPlugin.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacPlugin.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,34 +0,0 @@
-/*
- * IsacPlugin.java
- * part of the Isac plugin for the jEdit text editor
- * Copyright (C) 2001 John Gellene
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: IsacPlugin.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-import org.gjt.sp.jedit.EditPlugin;
-
-/**
- * The Isac plugin
- * 
- * @author gadei
- */
-public class IsacPlugin extends EditPlugin {
-	public static final String NAME = "isac";
-	public static final String OPTION_PREFIX = "options.isac.";
-}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacTextArea.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacTextArea.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,34 +0,0 @@
-/*
- * IsacTextArea.java
- * part of the Isac plugin for the jEditTextArea
- * Gadei
- * 
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: IsacTextArea.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-import javax.swing.JTextArea;
-
-public class IsacTextArea extends JTextArea {
-	public IsacTextArea() {
-		super();
-		setLineWrap(true);
-		setWrapStyleWord(true);
-		setTabSize(4);
-	}
-}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacToolPanel.java
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/IsacToolPanel.java	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,100 +0,0 @@
-/*
- * IsacToolPanel.java
- * part of the Isac plugin for the jEdit text editor
- * Copyright Gadei
- * jgellene@nyc.rr.com
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
- *
- * $Id: IsacToolPanel.java 12504 2008-04-22 23:12:43Z ezust $
- */
-
-import java.awt.event.ActionEvent;
-import java.awt.event.ActionListener;
-
-import javax.swing.AbstractButton;
-import javax.swing.Box;
-import javax.swing.BoxLayout;
-import javax.swing.JLabel;
-import javax.swing.JPanel;
-
-import org.gjt.sp.jedit.GUIUtilities;
-import org.gjt.sp.jedit.jEdit;
-import org.gjt.sp.jedit.gui.RolloverButton;
-
-public class IsacToolPanel extends JPanel {
-	private Isac pad;
-
-	private JLabel label;
-
-	public IsacToolPanel(Isac qnpad) {
-		setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
-		pad = qnpad;
-
-		Box labelBox = new Box(BoxLayout.Y_AXIS);
-		labelBox.add(Box.createGlue());
-
-		label = new JLabel(pad.getFilename());
-		label.setVisible(jEdit.getProperty(
-				IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
-				"true"));
-
-		labelBox.add(label);
-		labelBox.add(Box.createGlue());
-
-		add(labelBox);
-
-		add(Box.createGlue());
-
-		add(makeCustomButton("isac.choose-file", new ActionListener() {
-			public void actionPerformed(ActionEvent evt) {
-				IsacToolPanel.this.pad.chooseFile();
-			}
-		}));
-		add(makeCustomButton("isac.save-file", new ActionListener() {
-			public void actionPerformed(ActionEvent evt) {
-				IsacToolPanel.this.pad.saveFile();
-			}
-		}));
-		add(makeCustomButton("isac.copy-to-buffer",
-				new ActionListener() {
-					public void actionPerformed(ActionEvent evt) {
-						IsacToolPanel.this.pad.copyToBuffer();
-					}
-				}));
-	}
-
-	void propertiesChanged() {
-		label.setText(pad.getFilename());
-		label.setVisible(jEdit.getProperty(
-				IsacPlugin.OPTION_PREFIX + "show-filepath").equals(
-				"true"));
-	}
-
-	private AbstractButton makeCustomButton(String name, ActionListener listener) {
-		String toolTip = jEdit.getProperty(name.concat(".label"));
-		AbstractButton b = new RolloverButton(GUIUtilities.loadIcon(jEdit
-				.getProperty(name + ".icon")));
-		if (listener != null) {
-			b.addActionListener(listener);
-			b.setEnabled(true);
-		} else {
-			b.setEnabled(false);
-		}
-		b.setToolTipText(toolTip);
-		return b;
-	}
-
-}
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/README.txt
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/README.txt	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,12 +0,0 @@
-QUICK NOTEPAD PLUGIN
-
-The jEdit source distribution includes source code for an example plugin
-named 'QuickNotepad', written by John Gellene.
-
-The plugin source is discussed in detail in the 'Writing Plugins' part
-of the user's guide.
-
-The source code has been updated to conform the the Plugin API for version 4.0
-of jEdit.  The file changes40.txt outlines the changes that were made from the
-version distributed with jEdit 3.2.2.
-
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/build.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/build.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<?xml version="1.0"?>
-<project name="Isac"
-		 default="build">
-	<description>
-		This is an ant build.xml file for building the Isac plugin for jEdit.
-	</description>
-
-	<property file="build.properties"/>
-	<property file="../build.properties"/>
-
-	<property name="jedit.install.dir"
-			  location="../../build" />
-	<property name="user-doc.xml"
-			  value="users-guide.xml" />
-
-	<property name="build.support"
-			  value="../../../build-support" />
-	<import file="${build.support}/plugin-build.xml" />
-
-	<selector id="docSrcFiles">
-		<filename name="users-guide.xml" />
-	</selector>
-
-      <target name="-pre-jar">
-          <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
-          <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
-          <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" />
-    </target>
-</project>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes40.txt
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes40.txt	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,99 +0,0 @@
-$Id: changes40.txt 3890 2001-11-11 03:02:31Z jgellene $
-
-Changes made to QuickNotepad plugin for jEdit 4.0:
-
-(1) Under jEdit 3.2.2 and prior versions, the plugin had a separate class,
-QuickNotepadDockable, implementing the DockableWindow interface. The class's
-methods delegated actions to the plugin's top-level visible component, a class
-derived from JPanel called QuickNotepad. The DockableWindow interface is
-deprecated in jEdit 4.0, so this class was eliminated. If the top-level
-component had implemented the DockableWindow interface, it would have been
-necessary to remove DockableWindow as an implemented interface and the eliminate
-the getName() and getComponent() methods of that interface in the plugin class.
-
-(2) A new file, dockables.xml, was created containing XML markup for the
-constructor of a plugin component. Under the new plugin API, this file is read
-to determine the method call or calls for constructing a new instance of a
-dockable plugin component. The file is quite short:
-
-<?xml version="1.0"?>
-
-<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
-
-<!-- QuickNotepad dockable window -->
-
-<DOCKABLES>
-  <DOCKABLE NAME="quicknotepad">
-    new QuickNotepad(view, position);
-  </DOCKABLE>
-</DOCKABLES>
-
-The parameters are those found in the existing version of the QuickNotepad
-constructor. Both "view" and "position" are defined by the new plugin API in the
-namespace in which the constructor is called. The value of position is taken
-from optional properties set by the user. In the absence of a user setting, the
-position parameter is set to place the plugin component in a floating window.
-
-The NAME attribute is taken to conform to the value of the static variable
-QuickNotepadPlugin.NAME, which is also used to identify the plugin in the user
-action code contained in actions.xml.
-
-By default, the plugin API adds two actions for a plugin. The first is entitled
-[name of plugin] (in this case, "quicknotepad"), and simply activates the plugin
-by executing the code contained in the DOCKABLE element. The second action
-toggles the plugin's visible component, the title of the action is [name of
-plugin]-toggle (in this case, "quicknotepad-toggle"). The plugin API handles
-this action internally.
-
-To prevent these actions from being created, you can add a NO_ACTIONS="true"
-attribute to the DOCKABLE element. The NAME and NO_ACTIONS attributes are the
-only attributes defined for a DOCKABLE entry. A NAME is required; NO_ACTIONS is
-set to "false" by default.
-
-(3) In the actions.xml file, the user action definitions were revised to call
-DockableWindowManager.getDockable() instead of
-DockableManager.getDockableWindow(). In addition, the actions for toggling the
-plugin docking window and bringing the QuickNotepad window to the foreground
-were eliminated. The toggle action was duplicative of the built-in action
-supplied through dockables.xml, and the "bring to front" action had become
-redundant.
-
-(4) There were two deletions made in QuickNotepadPlugin, the main plugin class.
-
-The handleMessage() method was eliminated because it was only necessary for the
-plugin to listen for the CreateDockableWindow message. As a result, it is no
-longer necessary for this plugin to connect to the EditBus, so its derivation
-was changed from EBPlugin to EditPlugin. Individual instances of the
-QuickNotepad class still need to listen for a PropertiesChanged message, so that
-class continues to implement EBComponent.
-
-In addition, since the EditBus no longer maintains an active list of windows,
-the call to EditBus.addToNamedList() is no longer needed in the class's start()
-method and so was eliminated, leaving an empty start() method.
-
-(5) No changes were required in the option pane class, QuickNotepadOptionsPane,
-or the other other classes defining components of the plugin.
-
-(6) Finally, several changes were made to the propoerties file of the plugin,
-QuickNotepad.props. First, the plugin's dependency properties were changed to
-make the plugin dependent upon version 4.0 or greater of jEdit:
-
-plugin.QuickNotepadPlugin.depend.1=jedit 04.00.00.00
-
-Next, the quicknotepad.title property was eliminated, and the "label" properties
-for the docking window and plugin menu were reorganized into two categories:
-labels for action created by dockable.xml (quicknotepad.label and
-quicknotepad-toggle.label), and labels for actions created by actions.xml (the
-remaining user actions: "choose-file", "save-file" and "copy-to-buffer").
-
-The plugin was built using the standard build.xml supplied for plugins,
-after checking to make sure that the name of the plugin and the location of
-jedit.jar were correct. It was also necessary to add dockables.xml to the list
-of files to be archived by the jar utility. Iterations of the build process
-helped to uncover deprecated API elements.
-
-The help file was built from DocBook XML source using xsltproc. The build.xml
-Ant build file and the users-guide.xsl customization file contain annotations
-which may be helpful in building plugin documentation. In particular, a few
-<indexterm> tags were added to the documentation source to provide references
-for the index to be generated for all plugin files.
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes42.txt
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/changes42.txt	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-$Id: changes42.txt 4665 2003-04-30 05:28:55Z spestov $
-
-Changes made to QuickNotepad plugin for jEdit 4.2:
-
-(1) The following property was added:
-
-  plugin.QuickNotepadPlugin.activate=defer
-
-This informs jEdit the plugin is using the new API, and that it should only be
-loaded the first time it is accessed by the user.
-
-(2) The createMenuItems() method of the plugin core class has been removed. The
-plugin menu is now specified with the following property:
-
-  plugin.QuickNotepadPlugin.menu=... list of menu items ...
-
-(3) The createOptionPanes() method of the plugin core class has been removed. The plugin option pane is now specified with the following property:
-
-  plugin.QuickNotepadPlugin.option-pane=quicknotepad
-
-(4) The QuickNotepad class (the dockable window) implements the new DefaultFocusComponent interface, and the following method was added to this class:
-
-  public void focusOnDefaultComponent()
-  {
-    textArea.requestFocus();
-  }
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/description.html
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/description.html	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-This plugin provides a dockable "scratch pad" for writing
-and displaying notes, to do lists or similar items as unformatted text.
-The text is automatically saved upon closing the plugin or exiting
-jEdit. It can also be saved manually. The user can change the file to be
-displayed during the current editing session. The path of the default
-notepad file can be changed as a user option. Finally, the text file can
-be copied to a new, untitled jEdit buffer so that it can be edited by the
-main program.
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/Isac.props
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/Isac.props	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,67 +0,0 @@
-# Properties file for Isac plugin
-# $Id: Isac.props 6876 2006-09-02 20:39:49Z jchoyt $
-
-# jEdit only needs to load the plugin the first time the user accesses it
-# the presence of this property also tells jEdit the plugin is using the new API
-plugin.IsacPlugin.activate=defer
-
-# These two properties are required for all plugins
-plugin.IsacPlugin.name=Isac
-plugin.IsacPlugin.author=gadei
-
-# version number == jEdit version number
-plugin.IsacPlugin.version=4.3
-
-# online help
-plugin.IsacPlugin.docs=index.html
-
-# we only have one dependency, jEdit 4.2, since we use the new plugin API
-plugin.IsacPlugin.depend.0=jedit 04.02.01.00
-plugin.IsacPlugin.depend.1=jdk 1.6
-
-plugin.IsacPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
-# plugin menu
-plugin.IsacPlugin.menu=isac \
-	- \
-	isac.choose-file \
-	isac.save-file \
-	isac.copy-to-buffer
-
-# action labels for actions supplied by dockables.xml
-isac.label=Isac
-
-# action labels for actions supplied by actions.xml
-Isac.choose-file.label=Choose notepad file
-Isac.save-file.label=Save notepad file
-Isac.copy-to-buffer.label=Copy notepad to buffer
-
-# plugin option pane
-plugin.IsacPlugin.option-pane=isac
-
-# Option pane activation BeanShell snippet
-options.isac.code=new IsacOptionPane();
-
-# Option pane labels
-options.isac.label=Isac
-options.isac.file=File:
-options.isac.choose-file=Choose
-options.isac.choose-file.title=Choose a notepad file
-options.isac.choose-font=Font:
-options.isac.show-filepath.title=Display notepad file path
-
-# window title
-isac.title=Isac
-
-# window toolbar buttons
-isac.choose-file.icon=Open.png
-isac.save-file.icon=Save.png
-isac.copy-to-buffer.icon=CopyToBuffer.png
-
-# default settings
-options.isac.show-filepath=true
-options.isac.font=Monospaced
-options.isac.fontstyle=0
-options.isac.fontsize=14
-
-# Setting not defined but supplied for completeness
-options.isac.filepath=
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/actions.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/actions.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<!-- Action definition file for Isac plugin -->
-<!-- $Id: actions.xml 5152 2004-12-05 04:37:06Z spestov $
--->
-
-<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
-
-<ACTIONS>
-	<ACTION NAME="isac.choose-file">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).chooseFile();
-		</CODE>
-	</ACTION>
-
-	<ACTION NAME="isac.save-file">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).saveFile();
-		</CODE>
-	</ACTION>
-
-	<ACTION NAME="isac.copy-to-buffer">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).copyToBuffer();
-		</CODE>
-	</ACTION>
-</ACTIONS>
-
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/dockables.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/dockables.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-<?xml version="1.0"?>
-
-<!-- Dockable component definition file for Isac plugin -->
-<!-- $Id: dockables.xml 4474 2003-02-09 20:37:14Z spestov $
--->
-
-<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
-
-<!-- Isac dockable windows -->
-
-<DOCKABLES>
-	<DOCKABLE NAME="isac">
-		new Isac(view, position);
-	</DOCKABLE>
-</DOCKABLES>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/users-guide.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/Isac/plugin/users-guide.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,277 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!-- Isac .0 help documentation -->
-<!-- Copyright (C) 2001 John Gellene	 -->
-<!DOCTYPE article PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN"
-"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd">
-<article id="Isac">
-    <articleinfo>
-        <author>
-            <firstname>John</firstname>
-
-            <surname>Gellene</surname>
-
-            <affiliation>
-                <address><email>jgellene@nyc.rr.com</email></address>
-            </affiliation>
-        </author>
-
-        <copyright>
-            <year>2001</year>
-
-            <holder>John Gellene</holder>
-        </copyright>
-
-        <legalnotice>
-            <title>Legal Notice</title>
-
-            <para>Permission is granted to copy, distribute and/or modify this
-            document under the terms of the GNU Free Documentation License,
-            Version 1.1 or any later version published by the Free Software
-            Foundation; with no <quote>Invariant Sections</quote>,
-            <quote>Front-Cover Texts</quote> or <quote>Back-Cover Texts</quote>,
-            each as defined in the license. A copy of the license is included in
-            the file <filename>COPYING.DOC.txt</filename> included with the
-            jEdit distribution.</para>
-        </legalnotice>
-
-        <title>QuickNotepad 4.2</title>
-    </articleinfo>
-
-    <simplesect>
-        <title>Introduction</title>
-
-        <indexterm>
-            <primary>QuickNotepad</primary>
-        </indexterm>
-
-        <para>This plugin provides a dockable <quote>scratch pad</quote> for
-        writing and displaying notes, to do lists or similar items as
-        unformatted text. The text is automatically saved upon closing the
-        plugin or exiting jEdit. It can also be saved manually. The user can
-        change the file to be displayed during the current editing session. The
-        path of the default notepad file can be changed as a user option.
-        Finally, the text file can be copied to a new, untitled jEdit buffer so
-        that it can be edited by the main program.</para>
-
-        <para>The <citetitle>jEdit Plugin Guide</citetitle> details the
-        development and design of QuickNotepad. It is a simple but functional
-        dockable plugin that incorporates the basic elements of the jEdit plugin
-        architecture.</para>
-
-        <para>The file <filename>changes42.txt</filename> in the plugin's source
-        code details the changes that were made to the plugin to conform to the
-        new plugin API for jEdit version 4.2.</para>
-
-        <para>The file <filename>changes40.txt</filename> in the plugin's source
-        code details the changes that were made to the plugin to conform to the
-        new plugin API for jEdit version 4.0.</para>
-    </simplesect>
-
-    <simplesect>
-        <title>Operation</title>
-
-        <para><indexterm>
-                <primary>QuickNotepad</primary>
-
-                <secondary>shortcut keys</secondary>
-            </indexterm> When QuickNotepad is activated, it loads and displays
-        the file stored in its properties as unformatted text. The text can be
-        edited using the keyboard and mouse. The text area component recognizes
-        the following basic editing shortcuts:</para>
-
-        <!-- Limitations on xsltproc's capabilities require a blank column between -->
-
-        <!-- the two columns of data to provide spacing for the table.       -->
-
-        <informaltable frame="none">
-            <tgroup align="left" cols="4">
-                <colspec colnum="1" />
-
-                <!-- blank column -->
-
-                <colspec colnum="2" />
-
-                <colspec colnum="3" />
-
-                <!-- blank column -->
-
-                <colspec colnum="4" />
-
-                <tbody>
-                    <row>
-                        <entry></entry>
-
-                        <entry>Cut</entry>
-
-                        <entry></entry>
-
-                        <entry><keycombo action="simul">
-                                <keysym>Ctrl</keysym>
-
-                                <keysym>x</keysym>
-                            </keycombo></entry>
-                    </row>
-
-                    <row>
-                        <entry></entry>
-
-                        <entry>Copy</entry>
-
-                        <entry></entry>
-
-                        <entry><keycombo action="simul">
-                                <keysym>Ctrl</keysym>
-
-                                <keysym>c</keysym>
-                            </keycombo></entry>
-                    </row>
-
-                    <row>
-                        <entry></entry>
-
-                        <entry>Paste</entry>
-
-                        <entry></entry>
-
-                        <entry><keycombo action="simul">
-                                <keysym>Ctrl</keysym>
-
-                                <keysym>v</keysym>
-                            </keycombo></entry>
-                    </row>
-
-                    <row>
-                        <entry></entry>
-
-                        <entry>Select All</entry>
-
-                        <entry></entry>
-
-                        <entry><keycombo action="simul">
-                                <keysym>Ctrl</keysym>
-
-                                <keysym>a</keysym>
-                            </keycombo></entry>
-                    </row>
-                </tbody>
-            </tgroup>
-        </informaltable>
-
-        <para>QuickNotepad ignores function keys and other combination key
-        presses.</para>
-    </simplesect>
-
-    <simplesect>
-        <title>Toolbar buttons</title>
-
-        <para>Three buttons above the text area provide file management
-        operations:</para>
-
-        <itemizedlist>
-            <listitem>
-                <para><guilabel>Choose notepad file</guilabel> - this button
-                opens a file selection dialog permitting the user to select a
-                different file to view in the text area. If a new file is
-                selected, the old file is auomatically saved. The selection is
-                valid only for the current editing session; to change the
-                default QuickNotepad file for future sessions, use the <link
-                linkend="options">options dialog</link>.</para>
-            </listitem>
-
-            <listitem>
-                <para><guilabel>Save notepad file</guilabel> - this button
-                causes QuickNotepad to write the contents of the text area to
-                the designated notepad file. To save the text to another file
-                name, use the <guilabel>Copy notepad to buffer</guilabel>
-                operation.</para>
-            </listitem>
-
-            <listitem>
-                <para><guilabel>Copy notepad to buffer</guilabel> - this button
-                causes the contents of the text to be written to a newly
-                created, untitled buffer in the main text editing area. This
-                operation does not alter the QuickNotepad text area or write its
-                text to storage. Further changes to either the QuickNotepad text
-                area or the new buffer will not affect the other.</para>
-            </listitem>
-        </itemizedlist>
-
-        <para>These operations are listed in the menu which appears for
-        QuickNotepad under the <guimenu>Plugins</guimenu> heading. They can also
-        be made the subject of keyboard shortcuts in the <guilabel>Plugin
-        Shortcuts</guilabel> pane of jEdit's options dialog.</para>
-
-        <para>One other operation is available as a keyboard shortcut.
-        <guilabel>Bring QuickNotepad to front</guilabel> activates the plugin
-        and makes visible if it is currently hidden in a docking window.</para>
-    </simplesect>
-
-    <simplesect id="options">
-        <title>Options</title>
-
-        <indexterm>
-            <primary>QuickNotepad</primary>
-
-            <secondary>options</secondary>
-        </indexterm>
-
-        <para>There are three options which can be set using the pane for
-        QuickNotepad in the <guilabel>Plugin Shortcuts</guilabel> section of the
-        general options dialog:</para>
-
-        <itemizedlist>
-            <listitem>
-                <para>A checkbox governs whether the name of the notepad file
-                will be displayed in the toolbar panel above the text area. Even
-                if the file name display is enabled, if the plugin is displayed
-                to the left or right of the main editing area, the notepad file
-                name will likely be partially or completely hidden.</para>
-            </listitem>
-
-            <listitem>
-                <para>A text field and adjacent button allow the user to choose
-                the path of the default notepad file by typing its name or
-                opening a file chooser dialog. This file will be loaded (and the
-                old file saved) once the plugin's options settings are
-                committed.</para>
-            </listitem>
-
-            <listitem>
-                <para>A third button shows the name, size and style of the font
-                used by the QuickNotepad text area. Pressing the button summons
-                a font chooser dialog for making a new selection. The text area
-                will be redrawn with the new font once the change is
-                committed.</para>
-            </listitem>
-        </itemizedlist>
-    </simplesect>
-
-    <simplesect>
-        <title>Legal notices</title>
-
-        <para>The QuickNotepad plugin is released under the GNU General Public
-        License (either version 2 or any later version, at the user's option). A
-        copy of the GPL is available in the <filename>COPYING.txt</filename>
-        file in the jEdit distribution.</para>
-
-        <para>The QuickNotepad plugin comes with ABSOLUTELY NO WARRANTY OF ANY
-        KIND; see section 11 and 12 of the GPL for details.</para>
-
-        <para>Permission is granted to copy, distribute and/or modify this
-        document under the terms of the GNU Free Documentation License, Version
-        1.1 or any later version published by the Free Software Foundation; with
-        no <quote>Invariant Sections</quote>, <quote>Front-Cover Texts</quote>
-        or <quote>Back-Cover Texts</quote>, each as defined in the license. A
-        copy of the license is included in the file
-        <filename>COPYING.DOC.txt</filename> included with the jEdit
-        distribution.</para>
-    </simplesect>
-
-    <simplesect>
-        <title>Feedback</title>
-
-        <para>Comments, bug reports and other feedback may be sent to the <ulink
-        url="mailto:jgellene@nyc.rr.com">author</ulink> or the jEdit-users
-        mailing list.</para>
-    </simplesect>
-</article>
\ No newline at end of file
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/build/built-jar.properties
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/built-jar.properties	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-#Mon Aug 30 22:09:46 CEST 2010
-/usr/local/isac-jedit/src/Tools/isac/jEditC/contrib/jEdit/jars=
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/Isac.props
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/Isac.props	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,67 +0,0 @@
-# Properties file for Isac plugin
-# $Id: Isac.props 6876 2006-09-02 20:39:49Z jchoyt $
-
-# jEdit only needs to load the plugin the first time the user accesses it
-# the presence of this property also tells jEdit the plugin is using the new API
-plugin.IsacPlugin.activate=defer
-
-# These two properties are required for all plugins
-plugin.IsacPlugin.name=Isac
-plugin.IsacPlugin.author=gadei
-
-# version number == jEdit version number
-plugin.IsacPlugin.version=4.3
-
-# online help
-plugin.IsacPlugin.docs=index.html
-
-# we only have one dependency, jEdit 4.2, since we use the new plugin API
-plugin.IsacPlugin.depend.0=jedit 04.02.01.00
-plugin.IsacPlugin.depend.1=jdk 1.6
-
-plugin.IsacPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
-# plugin menu
-plugin.IsacPlugin.menu=isac \
-	- \
-	isac.choose-file \
-	isac.save-file \
-	isac.copy-to-buffer
-
-# action labels for actions supplied by dockables.xml
-isac.label=Isac
-
-# action labels for actions supplied by actions.xml
-Isac.choose-file.label=Choose notepad file
-Isac.save-file.label=Save notepad file
-Isac.copy-to-buffer.label=Copy notepad to buffer
-
-# plugin option pane
-plugin.IsacPlugin.option-pane=isac
-
-# Option pane activation BeanShell snippet
-options.isac.code=new IsacOptionPane();
-
-# Option pane labels
-options.isac.label=Isac
-options.isac.file=File:
-options.isac.choose-file=Choose
-options.isac.choose-file.title=Choose a notepad file
-options.isac.choose-font=Font:
-options.isac.show-filepath.title=Display notepad file path
-
-# window title
-isac.title=Isac
-
-# window toolbar buttons
-isac.choose-file.icon=Open.png
-isac.save-file.icon=Save.png
-isac.copy-to-buffer.icon=CopyToBuffer.png
-
-# default settings
-options.isac.show-filepath=true
-options.isac.font=Monospaced
-options.isac.fontstyle=0
-options.isac.fontsize=14
-
-# Setting not defined but supplied for completeness
-options.isac.filepath=
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/actions.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/actions.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-<!-- Action definition file for Isac plugin -->
-<!-- $Id: actions.xml 5152 2004-12-05 04:37:06Z spestov $
--->
-
-<!DOCTYPE ACTIONS SYSTEM "actions.dtd">
-
-<ACTIONS>
-	<ACTION NAME="isac.choose-file">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).chooseFile();
-		</CODE>
-	</ACTION>
-
-	<ACTION NAME="isac.save-file">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).saveFile();
-		</CODE>
-	</ACTION>
-
-	<ACTION NAME="isac.copy-to-buffer">
-		<CODE>
-			wm.addDockableWindow(IsacPlugin.NAME);
-			wm.getDockableWindow(IsacPlugin.NAME).copyToBuffer();
-		</CODE>
-	</ACTION>
-</ACTIONS>
-
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/dockables.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/build/classes/dockables.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,15 +0,0 @@
-<?xml version="1.0"?>
-
-<!-- Dockable component definition file for Isac plugin -->
-<!-- $Id: dockables.xml 4474 2003-02-09 20:37:14Z spestov $
--->
-
-<!DOCTYPE DOCKABLES SYSTEM "dockables.dtd">
-
-<!-- Isac dockable windows -->
-
-<DOCKABLES>
-	<DOCKABLE NAME="isac">
-		new Isac(view, position);
-	</DOCKABLE>
-</DOCKABLES>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/dist/README.TXT
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/dist/README.TXT	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,33 +0,0 @@
-========================
-BUILD OUTPUT DESCRIPTION
-========================
-
-When you build an Java application project that has a main class, the IDE
-automatically copies all of the JAR
-files on the projects classpath to your projects dist/lib folder. The IDE
-also adds each of the JAR files to the Class-Path element in the application
-JAR files manifest file (MANIFEST.MF).
-
-To run the project from the command line, go to the dist folder and
-type the following:
-
-java -jar "Isac.jar" 
-
-To distribute this project, zip up the dist folder (including the lib folder)
-and distribute the ZIP file.
-
-Notes:
-
-* If two JAR files on the project classpath have the same name, only the first
-JAR file is copied to the lib folder.
-* Only JAR files are copied to the lib folder.
-If the classpath contains other types of files or folders, none of the
-classpath elements are copied to the lib folder. In such a case,
-you need to copy the classpath elements to the lib folder manually after the build.
-* If a library on the projects classpath also has a Class-Path element
-specified in the manifest,the content of the Class-Path element has to be on
-the projects runtime path.
-* To set a main class in a standard Java project, right-click the project node
-in the Projects window and choose Properties. Then click Run and enter the
-class name in the Main Class field. Alternatively, you can manually type the
-class name in the manifest Main-Class element.
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/build-impl.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/build-impl.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,794 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!--
-*** GENERATED FROM project.xml - DO NOT EDIT  ***
-***         EDIT ../build.xml INSTEAD         ***
-
-For the purpose of easier reading the script
-is divided into following sections:
-
-  - initialization
-  - compilation
-  - jar
-  - execution
-  - debugging
-  - javadoc
-  - junit compilation
-  - junit execution
-  - junit debugging
-  - applet
-  - cleanup
-
-        -->
-<project xmlns:j2seproject1="http://www.netbeans.org/ns/j2se-project/1" xmlns:j2seproject3="http://www.netbeans.org/ns/j2se-project/3" xmlns:jaxrpc="http://www.netbeans.org/ns/j2se-project/jax-rpc" basedir=".." default="default" name="Isac-impl">
-    <fail message="Please build using Ant 1.7.1 or higher.">
-        <condition>
-            <not>
-                <antversion atleast="1.7.1"/>
-            </not>
-        </condition>
-    </fail>
-    <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
-    <!-- 
-                ======================
-                INITIALIZATION SECTION 
-                ======================
-            -->
-    <target name="-pre-init">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="-pre-init" name="-init-private">
-        <property file="nbproject/private/config.properties"/>
-        <property file="nbproject/private/configs/${config}.properties"/>
-        <property file="nbproject/private/private.properties"/>
-    </target>
-    <target depends="-pre-init,-init-private" name="-init-user">
-        <property file="${user.properties.file}"/>
-        <!-- The two properties below are usually overridden -->
-        <!-- by the active platform. Just a fallback. -->
-        <property name="default.javac.source" value="1.4"/>
-        <property name="default.javac.target" value="1.4"/>
-    </target>
-    <target depends="-pre-init,-init-private,-init-user" name="-init-project">
-        <property file="nbproject/configs/${config}.properties"/>
-        <property file="nbproject/project.properties"/>
-    </target>
-    <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
-        <available file="${manifest.file}" property="manifest.available"/>
-        <condition property="main.class.available">
-            <and>
-                <isset property="main.class"/>
-                <not>
-                    <equals arg1="${main.class}" arg2="" trim="true"/>
-                </not>
-            </and>
-        </condition>
-        <condition property="manifest.available+main.class">
-            <and>
-                <isset property="manifest.available"/>
-                <isset property="main.class.available"/>
-            </and>
-        </condition>
-        <condition property="do.mkdist">
-            <and>
-                <isset property="libs.CopyLibs.classpath"/>
-                <not>
-                    <istrue value="${mkdist.disabled}"/>
-                </not>
-            </and>
-        </condition>
-        <condition property="manifest.available+main.class+mkdist.available">
-            <and>
-                <istrue value="${manifest.available+main.class}"/>
-                <isset property="do.mkdist"/>
-            </and>
-        </condition>
-        <condition property="manifest.available+mkdist.available">
-            <and>
-                <istrue value="${manifest.available}"/>
-                <isset property="do.mkdist"/>
-            </and>
-        </condition>
-        <condition property="manifest.available-mkdist.available">
-            <or>
-                <istrue value="${manifest.available}"/>
-                <isset property="do.mkdist"/>
-            </or>
-        </condition>
-        <condition property="manifest.available+main.class-mkdist.available">
-            <or>
-                <istrue value="${manifest.available+main.class}"/>
-                <isset property="do.mkdist"/>
-            </or>
-        </condition>
-        <condition property="have.tests">
-            <or/>
-        </condition>
-        <condition property="have.sources">
-            <or>
-                <available file="${src.Isac.dir}"/>
-            </or>
-        </condition>
-        <condition property="netbeans.home+have.tests">
-            <and>
-                <isset property="netbeans.home"/>
-                <isset property="have.tests"/>
-            </and>
-        </condition>
-        <condition property="no.javadoc.preview">
-            <and>
-                <isset property="javadoc.preview"/>
-                <isfalse value="${javadoc.preview}"/>
-            </and>
-        </condition>
-        <property name="run.jvmargs" value=""/>
-        <property name="javac.compilerargs" value=""/>
-        <property name="work.dir" value="${basedir}"/>
-        <condition property="no.deps">
-            <and>
-                <istrue value="${no.dependencies}"/>
-            </and>
-        </condition>
-        <property name="javac.debug" value="true"/>
-        <property name="javadoc.preview" value="true"/>
-        <property name="application.args" value=""/>
-        <property name="source.encoding" value="${file.encoding}"/>
-        <property name="runtime.encoding" value="${source.encoding}"/>
-        <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
-            <and>
-                <isset property="javadoc.encoding"/>
-                <not>
-                    <equals arg1="${javadoc.encoding}" arg2=""/>
-                </not>
-            </and>
-        </condition>
-        <property name="javadoc.encoding.used" value="${source.encoding}"/>
-        <property name="includes" value="**"/>
-        <property name="excludes" value=""/>
-        <property name="do.depend" value="false"/>
-        <condition property="do.depend.true">
-            <istrue value="${do.depend}"/>
-        </condition>
-        <path id="endorsed.classpath.path" path="${endorsed.classpath}"/>
-        <condition else="" property="endorsed.classpath.cmd.line.arg" value="-Xbootclasspath/p:'${toString:endorsed.classpath.path}'">
-            <length length="0" string="${endorsed.classpath}" when="greater"/>
-        </condition>
-        <property name="javac.fork" value="false"/>
-    </target>
-    <target name="-post-init">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
-        <fail unless="src.Isac.dir">Must set src.Isac.dir</fail>
-        <fail unless="build.dir">Must set build.dir</fail>
-        <fail unless="dist.dir">Must set dist.dir</fail>
-        <fail unless="build.classes.dir">Must set build.classes.dir</fail>
-        <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
-        <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
-        <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
-        <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
-        <fail unless="dist.jar">Must set dist.jar</fail>
-    </target>
-    <target name="-init-macrodef-property">
-        <macrodef name="property" uri="http://www.netbeans.org/ns/j2se-project/1">
-            <attribute name="name"/>
-            <attribute name="value"/>
-            <sequential>
-                <property name="@{name}" value="${@{value}}"/>
-            </sequential>
-        </macrodef>
-    </target>
-    <target name="-init-macrodef-javac">
-        <macrodef name="javac" uri="http://www.netbeans.org/ns/j2se-project/3">
-            <attribute default="${src.Isac.dir}" name="srcdir"/>
-            <attribute default="${build.classes.dir}" name="destdir"/>
-            <attribute default="${javac.classpath}" name="classpath"/>
-            <attribute default="${includes}" name="includes"/>
-            <attribute default="${excludes}" name="excludes"/>
-            <attribute default="${javac.debug}" name="debug"/>
-            <attribute default="${empty.dir}" name="sourcepath"/>
-            <attribute default="${empty.dir}" name="gensrcdir"/>
-            <element name="customize" optional="true"/>
-            <sequential>
-                <property location="${build.dir}/empty" name="empty.dir"/>
-                <mkdir dir="${empty.dir}"/>
-                <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" fork="${javac.fork}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}" tempdir="${java.io.tmpdir}">
-                    <src>
-                        <dirset dir="@{gensrcdir}" erroronmissingdir="false">
-                            <include name="*"/>
-                        </dirset>
-                    </src>
-                    <classpath>
-                        <path path="@{classpath}"/>
-                    </classpath>
-                    <compilerarg line="${endorsed.classpath.cmd.line.arg}"/>
-                    <compilerarg line="${javac.compilerargs}"/>
-                    <customize/>
-                </javac>
-            </sequential>
-        </macrodef>
-        <macrodef name="depend" uri="http://www.netbeans.org/ns/j2se-project/3">
-            <attribute default="${src.Isac.dir}" name="srcdir"/>
-            <attribute default="${build.classes.dir}" name="destdir"/>
-            <attribute default="${javac.classpath}" name="classpath"/>
-            <sequential>
-                <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
-                    <classpath>
-                        <path path="@{classpath}"/>
-                    </classpath>
-                </depend>
-            </sequential>
-        </macrodef>
-        <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/j2se-project/3">
-            <attribute default="${build.classes.dir}" name="destdir"/>
-            <sequential>
-                <fail unless="javac.includes">Must set javac.includes</fail>
-                <pathconvert pathsep="," property="javac.includes.binary">
-                    <path>
-                        <filelist dir="@{destdir}" files="${javac.includes}"/>
-                    </path>
-                    <globmapper from="*.java" to="*.class"/>
-                </pathconvert>
-                <delete>
-                    <files includes="${javac.includes.binary}"/>
-                </delete>
-            </sequential>
-        </macrodef>
-    </target>
-    <target name="-init-macrodef-junit">
-        <macrodef name="junit" uri="http://www.netbeans.org/ns/j2se-project/3">
-            <attribute default="${includes}" name="includes"/>
-            <attribute default="${excludes}" name="excludes"/>
-            <attribute default="**" name="testincludes"/>
-            <sequential>
-                <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true" tempdir="${build.dir}">
-                    <batchtest todir="${build.test.results.dir}"/>
-                    <classpath>
-                        <path path="${run.test.classpath}"/>
-                    </classpath>
-                    <syspropertyset>
-                        <propertyref prefix="test-sys-prop."/>
-                        <mapper from="test-sys-prop.*" to="*" type="glob"/>
-                    </syspropertyset>
-                    <formatter type="brief" usefile="false"/>
-                    <formatter type="xml"/>
-                    <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
-                    <jvmarg line="${run.jvmargs}"/>
-                </junit>
-            </sequential>
-        </macrodef>
-    </target>
-    <target depends="-init-debug-args" name="-init-macrodef-nbjpda">
-        <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/j2se-project/1">
-            <attribute default="${main.class}" name="name"/>
-            <attribute default="${debug.classpath}" name="classpath"/>
-            <attribute default="" name="stopclassname"/>
-            <sequential>
-                <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="${debug-transport}">
-                    <classpath>
-                        <path path="@{classpath}"/>
-                    </classpath>
-                </nbjpdastart>
-            </sequential>
-        </macrodef>
-        <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/j2se-project/1">
-            <attribute default="${build.classes.dir}" name="dir"/>
-            <sequential>
-                <nbjpdareload>
-                    <fileset dir="@{dir}" includes="${fix.classes}">
-                        <include name="${fix.includes}*.class"/>
-                    </fileset>
-                </nbjpdareload>
-            </sequential>
-        </macrodef>
-    </target>
-    <target name="-init-debug-args">
-        <property name="version-output" value="java version &quot;${ant.java.version}"/>
-        <condition property="have-jdk-older-than-1.4">
-            <or>
-                <contains string="${version-output}" substring="java version &quot;1.0"/>
-                <contains string="${version-output}" substring="java version &quot;1.1"/>
-                <contains string="${version-output}" substring="java version &quot;1.2"/>
-                <contains string="${version-output}" substring="java version &quot;1.3"/>
-            </or>
-        </condition>
-        <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
-            <istrue value="${have-jdk-older-than-1.4}"/>
-        </condition>
-        <condition else="dt_socket" property="debug-transport-by-os" value="dt_shmem">
-            <os family="windows"/>
-        </condition>
-        <condition else="${debug-transport-by-os}" property="debug-transport" value="${debug.transport}">
-            <isset property="debug.transport"/>
-        </condition>
-    </target>
-    <target depends="-init-debug-args" name="-init-macrodef-debug">
-        <macrodef name="debug" uri="http://www.netbeans.org/ns/j2se-project/3">
-            <attribute default="${main.class}" name="classname"/>
-            <attribute default="${debug.classpath}" name="classpath"/>
-            <element name="customize" optional="true"/>
-            <sequential>
-                <java classname="@{classname}" dir="${work.dir}" fork="true">
-                    <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
-                    <jvmarg line="${debug-args-line}"/>
-                    <jvmarg value="-Xrunjdwp:transport=${debug-transport},address=${jpda.address}"/>
-                    <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
-                    <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
-                    <jvmarg line="${run.jvmargs}"/>
-                    <classpath>
-                        <path path="@{classpath}"/>
-                    </classpath>
-                    <syspropertyset>
-                        <propertyref prefix="run-sys-prop."/>
-                        <mapper from="run-sys-prop.*" to="*" type="glob"/>
-                    </syspropertyset>
-                    <customize/>
-                </java>
-            </sequential>
-        </macrodef>
-    </target>
-    <target name="-init-macrodef-java">
-        <macrodef name="java" uri="http://www.netbeans.org/ns/j2se-project/1">
-            <attribute default="${main.class}" name="classname"/>
-            <attribute default="${run.classpath}" name="classpath"/>
-            <element name="customize" optional="true"/>
-            <sequential>
-                <java classname="@{classname}" dir="${work.dir}" fork="true">
-                    <jvmarg line="${endorsed.classpath.cmd.line.arg}"/>
-                    <jvmarg value="-Dfile.encoding=${runtime.encoding}"/>
-                    <redirector errorencoding="${runtime.encoding}" inputencoding="${runtime.encoding}" outputencoding="${runtime.encoding}"/>
-                    <jvmarg line="${run.jvmargs}"/>
-                    <classpath>
-                        <path path="@{classpath}"/>
-                    </classpath>
-                    <syspropertyset>
-                        <propertyref prefix="run-sys-prop."/>
-                        <mapper from="run-sys-prop.*" to="*" type="glob"/>
-                    </syspropertyset>
-                    <customize/>
-                </java>
-            </sequential>
-        </macrodef>
-    </target>
-    <target name="-init-presetdef-jar">
-        <presetdef name="jar" uri="http://www.netbeans.org/ns/j2se-project/1">
-            <jar compress="${jar.compress}" jarfile="${dist.jar}">
-                <j2seproject1:fileset dir="${build.classes.dir}"/>
-            </jar>
-        </presetdef>
-    </target>
-    <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
-    <!--
-                ===================
-                COMPILATION SECTION
-                ===================
-            -->
-    <target name="-deps-jar-init" unless="built-jar.properties">
-        <property location="${build.dir}/built-jar.properties" name="built-jar.properties"/>
-        <delete file="${built-jar.properties}" quiet="true"/>
-    </target>
-    <target if="already.built.jar.${basedir}" name="-warn-already-built-jar">
-        <echo level="warn" message="Cycle detected: Isac was already built"/>
-    </target>
-    <target depends="init,-deps-jar-init" name="deps-jar" unless="no.deps">
-        <mkdir dir="${build.dir}"/>
-        <touch file="${built-jar.properties}" verbose="false"/>
-        <property file="${built-jar.properties}" prefix="already.built.jar."/>
-        <antcall target="-warn-already-built-jar"/>
-        <propertyfile file="${built-jar.properties}">
-            <entry key="${basedir}" value=""/>
-        </propertyfile>
-    </target>
-    <target depends="init,-check-automatic-build,-clean-after-automatic-build" name="-verify-automatic-build"/>
-    <target depends="init" name="-check-automatic-build">
-        <available file="${build.classes.dir}/.netbeans_automatic_build" property="netbeans.automatic.build"/>
-    </target>
-    <target depends="init" if="netbeans.automatic.build" name="-clean-after-automatic-build">
-        <antcall target="clean"/>
-    </target>
-    <target depends="init,deps-jar" name="-pre-pre-compile">
-        <mkdir dir="${build.classes.dir}"/>
-    </target>
-    <target name="-pre-compile">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target if="do.depend.true" name="-compile-depend">
-        <pathconvert property="build.generated.subdirs">
-            <dirset dir="${build.generated.sources.dir}" erroronmissingdir="false">
-                <include name="*"/>
-            </dirset>
-        </pathconvert>
-        <j2seproject3:depend srcdir="${src.Isac.dir}:${build.generated.subdirs}"/>
-    </target>
-    <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
-        <j2seproject3:javac gensrcdir="${build.generated.sources.dir}"/>
-        <copy todir="${build.classes.dir}">
-            <fileset dir="${src.Isac.dir}" excludes="${build.classes.excludes},${excludes}" includes="${includes}"/>
-        </copy>
-    </target>
-    <target name="-post-compile">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
-    <target name="-pre-compile-single">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
-        <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
-        <j2seproject3:force-recompile/>
-        <j2seproject3:javac excludes="" gensrcdir="${build.generated.sources.dir}" includes="${javac.includes}" sourcepath="${src.Isac.dir}"/>
-    </target>
-    <target name="-post-compile-single">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,deps-jar,-verify-automatic-build,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
-    <!--
-                ====================
-                JAR BUILDING SECTION
-                ====================
-            -->
-    <target depends="init" name="-pre-pre-jar">
-        <dirname file="${dist.jar}" property="dist.jar.dir"/>
-        <mkdir dir="${dist.jar.dir}"/>
-    </target>
-    <target name="-pre-jar">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available-mkdist.available">
-        <j2seproject1:jar/>
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class-mkdist.available">
-        <j2seproject1:jar manifest="${manifest.file}"/>
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class" name="-do-jar-with-mainclass" unless="manifest.available+main.class+mkdist.available">
-        <j2seproject1:jar manifest="${manifest.file}">
-            <j2seproject1:manifest>
-                <j2seproject1:attribute name="Main-Class" value="${main.class}"/>
-            </j2seproject1:manifest>
-        </j2seproject1:jar>
-        <echo>To run this application from the command line without Ant, try:</echo>
-        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
-        <property location="${dist.jar}" name="dist.jar.resolved"/>
-        <pathconvert property="run.classpath.with.dist.jar">
-            <path path="${run.classpath}"/>
-            <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
-        </pathconvert>
-        <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}</echo>
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
-        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
-        <pathconvert property="run.classpath.without.build.classes.dir">
-            <path path="${run.classpath}"/>
-            <map from="${build.classes.dir.resolved}" to=""/>
-        </pathconvert>
-        <pathconvert pathsep=" " property="jar.classpath">
-            <path path="${run.classpath.without.build.classes.dir}"/>
-            <chainedmapper>
-                <flattenmapper/>
-                <globmapper from="*" to="lib/*"/>
-            </chainedmapper>
-        </pathconvert>
-        <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
-        <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
-            <fileset dir="${build.classes.dir}"/>
-            <manifest>
-                <attribute name="Main-Class" value="${main.class}"/>
-                <attribute name="Class-Path" value="${jar.classpath}"/>
-            </manifest>
-        </copylibs>
-        <echo>To run this application from the command line without Ant, try:</echo>
-        <property location="${dist.jar}" name="dist.jar.resolved"/>
-        <echo>java -jar "${dist.jar.resolved}"</echo>
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+mkdist.available" name="-do-jar-with-libraries-without-mainclass" unless="main.class.available">
-        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
-        <pathconvert property="run.classpath.without.build.classes.dir">
-            <path path="${run.classpath}"/>
-            <map from="${build.classes.dir.resolved}" to=""/>
-        </pathconvert>
-        <pathconvert pathsep=" " property="jar.classpath">
-            <path path="${run.classpath.without.build.classes.dir}"/>
-            <chainedmapper>
-                <flattenmapper/>
-                <globmapper from="*" to="lib/*"/>
-            </chainedmapper>
-        </pathconvert>
-        <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
-        <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
-            <fileset dir="${build.classes.dir}"/>
-            <manifest>
-                <attribute name="Class-Path" value="${jar.classpath}"/>
-            </manifest>
-        </copylibs>
-    </target>
-    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="do.mkdist" name="-do-jar-with-libraries-without-manifest" unless="manifest.available">
-        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
-        <pathconvert property="run.classpath.without.build.classes.dir">
-            <path path="${run.classpath}"/>
-            <map from="${build.classes.dir.resolved}" to=""/>
-        </pathconvert>
-        <pathconvert pathsep=" " property="jar.classpath">
-            <path path="${run.classpath.without.build.classes.dir}"/>
-            <chainedmapper>
-                <flattenmapper/>
-                <globmapper from="*" to="lib/*"/>
-            </chainedmapper>
-        </pathconvert>
-        <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
-        <copylibs compress="${jar.compress}" jarfile="${dist.jar}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
-            <fileset dir="${build.classes.dir}"/>
-            <manifest>
-                <attribute name="Class-Path" value="${jar.classpath}"/>
-            </manifest>
-        </copylibs>
-    </target>
-    <target name="-post-jar">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-do-jar-with-libraries-without-mainclass,-do-jar-with-libraries-without-manifest,-post-jar" description="Build JAR." name="jar"/>
-    <!--
-                =================
-                EXECUTION SECTION
-                =================
-            -->
-    <target depends="init,compile" description="Run a main class." name="run">
-        <j2seproject1:java>
-            <customize>
-                <arg line="${application.args}"/>
-            </customize>
-        </j2seproject1:java>
-    </target>
-    <target name="-do-not-recompile">
-        <property name="javac.includes.binary" value=""/>
-    </target>
-    <target depends="init,compile-single" name="run-single">
-        <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
-        <j2seproject1:java classname="${run.class}"/>
-    </target>
-    <target depends="init,compile-test-single" name="run-test-with-main">
-        <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
-        <j2seproject1:java classname="${run.class}" classpath="${run.test.classpath}"/>
-    </target>
-    <!--
-                =================
-                DEBUGGING SECTION
-                =================
-            -->
-    <target depends="init" if="netbeans.home" name="-debug-start-debugger">
-        <j2seproject1:nbjpdastart name="${debug.class}"/>
-    </target>
-    <target depends="init" if="netbeans.home" name="-debug-start-debugger-main-test">
-        <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${debug.class}"/>
-    </target>
-    <target depends="init,compile" name="-debug-start-debuggee">
-        <j2seproject3:debug>
-            <customize>
-                <arg line="${application.args}"/>
-            </customize>
-        </j2seproject3:debug>
-    </target>
-    <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/>
-    <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto">
-        <j2seproject1:nbjpdastart stopclassname="${main.class}"/>
-    </target>
-    <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/>
-    <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single">
-        <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
-        <j2seproject3:debug classname="${debug.class}"/>
-    </target>
-    <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/>
-    <target depends="init,compile-test-single" if="netbeans.home" name="-debug-start-debuggee-main-test">
-        <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
-        <j2seproject3:debug classname="${debug.class}" classpath="${debug.test.classpath}"/>
-    </target>
-    <target depends="init,compile-test-single,-debug-start-debugger-main-test,-debug-start-debuggee-main-test" if="netbeans.home" name="debug-test-with-main"/>
-    <target depends="init" name="-pre-debug-fix">
-        <fail unless="fix.includes">Must set fix.includes</fail>
-        <property name="javac.includes" value="${fix.includes}.java"/>
-    </target>
-    <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix">
-        <j2seproject1:nbjpdareload/>
-    </target>
-    <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/>
-    <!--
-                ===============
-                JAVADOC SECTION
-                ===============
-            -->
-    <target depends="init" name="-javadoc-build">
-        <mkdir dir="${dist.javadoc.dir}"/>
-        <javadoc additionalparam="${javadoc.additionalparam}" author="${javadoc.author}" charset="UTF-8" destdir="${dist.javadoc.dir}" docencoding="UTF-8" encoding="${javadoc.encoding.used}" failonerror="true" noindex="${javadoc.noindex}" nonavbar="${javadoc.nonavbar}" notree="${javadoc.notree}" private="${javadoc.private}" source="${javac.source}" splitindex="${javadoc.splitindex}" use="${javadoc.use}" useexternalfile="true" version="${javadoc.version}" windowtitle="${javadoc.windowtitle}">
-            <classpath>
-                <path path="${javac.classpath}"/>
-            </classpath>
-            <fileset dir="${src.Isac.dir}" excludes="${excludes}" includes="${includes}">
-                <filename name="**/*.java"/>
-            </fileset>
-            <fileset dir="${build.generated.sources.dir}" erroronmissingdir="false">
-                <include name="**/*.java"/>
-            </fileset>
-        </javadoc>
-    </target>
-    <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview">
-        <nbbrowse file="${dist.javadoc.dir}/index.html"/>
-    </target>
-    <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/>
-    <!--
-                =========================
-                JUNIT COMPILATION SECTION
-                =========================
-            -->
-    <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test">
-        <mkdir dir="${build.test.classes.dir}"/>
-    </target>
-    <target name="-pre-compile-test">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target if="do.depend.true" name="-compile-test-depend">
-        <j2seproject3:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
-    </target>
-    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test">
-        <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" srcdir=""/>
-        <copy todir="${build.test.classes.dir}"/>
-    </target>
-    <target name="-post-compile-test">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/>
-    <target name="-pre-compile-test-single">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single">
-        <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
-        <j2seproject3:force-recompile destdir="${build.test.classes.dir}"/>
-        <j2seproject3:javac classpath="${javac.test.classpath}" debug="true" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="" srcdir=""/>
-        <copy todir="${build.test.classes.dir}"/>
-    </target>
-    <target name="-post-compile-test-single">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/>
-    <!--
-                =======================
-                JUNIT EXECUTION SECTION
-                =======================
-            -->
-    <target depends="init" if="have.tests" name="-pre-test-run">
-        <mkdir dir="${build.test.results.dir}"/>
-    </target>
-    <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run">
-        <j2seproject3:junit testincludes="**/*Test.java"/>
-    </target>
-    <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run">
-        <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail>
-    </target>
-    <target depends="init" if="have.tests" name="test-report"/>
-    <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/>
-    <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/>
-    <target depends="init" if="have.tests" name="-pre-test-run-single">
-        <mkdir dir="${build.test.results.dir}"/>
-    </target>
-    <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single">
-        <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail>
-        <j2seproject3:junit excludes="" includes="${test.includes}"/>
-    </target>
-    <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single">
-        <fail if="tests.failed" unless="ignore.failing.tests">Some tests failed; see details above.</fail>
-    </target>
-    <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/>
-    <!--
-                =======================
-                JUNIT DEBUGGING SECTION
-                =======================
-            -->
-    <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test">
-        <fail unless="test.class">Must select one file in the IDE or set test.class</fail>
-        <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/>
-        <delete file="${test.report.file}"/>
-        <mkdir dir="${build.test.results.dir}"/>
-        <j2seproject3:debug classname="org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner" classpath="${ant.home}/lib/ant.jar:${ant.home}/lib/ant-junit.jar:${debug.test.classpath}">
-            <customize>
-                <syspropertyset>
-                    <propertyref prefix="test-sys-prop."/>
-                    <mapper from="test-sys-prop.*" to="*" type="glob"/>
-                </syspropertyset>
-                <arg value="${test.class}"/>
-                <arg value="showoutput=true"/>
-                <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/>
-                <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/>
-            </customize>
-        </j2seproject3:debug>
-    </target>
-    <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test">
-        <j2seproject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/>
-    </target>
-    <target depends="init,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/>
-    <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test">
-        <j2seproject1:nbjpdareload dir="${build.test.classes.dir}"/>
-    </target>
-    <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/>
-    <!--
-                =========================
-                APPLET EXECUTION SECTION
-                =========================
-            -->
-    <target depends="init,compile-single" name="run-applet">
-        <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
-        <j2seproject1:java classname="sun.applet.AppletViewer">
-            <customize>
-                <arg value="${applet.url}"/>
-            </customize>
-        </j2seproject1:java>
-    </target>
-    <!--
-                =========================
-                APPLET DEBUGGING  SECTION
-                =========================
-            -->
-    <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet">
-        <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
-        <j2seproject3:debug classname="sun.applet.AppletViewer">
-            <customize>
-                <arg value="${applet.url}"/>
-            </customize>
-        </j2seproject3:debug>
-    </target>
-    <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/>
-    <!--
-                ===============
-                CLEANUP SECTION
-                ===============
-            -->
-    <target name="-deps-clean-init" unless="built-clean.properties">
-        <property location="${build.dir}/built-clean.properties" name="built-clean.properties"/>
-        <delete file="${built-clean.properties}" quiet="true"/>
-    </target>
-    <target if="already.built.clean.${basedir}" name="-warn-already-built-clean">
-        <echo level="warn" message="Cycle detected: Isac was already built"/>
-    </target>
-    <target depends="init,-deps-clean-init" name="deps-clean" unless="no.deps">
-        <mkdir dir="${build.dir}"/>
-        <touch file="${built-clean.properties}" verbose="false"/>
-        <property file="${built-clean.properties}" prefix="already.built.clean."/>
-        <antcall target="-warn-already-built-clean"/>
-        <propertyfile file="${built-clean.properties}">
-            <entry key="${basedir}" value=""/>
-        </propertyfile>
-    </target>
-    <target depends="init" name="-do-clean">
-        <delete dir="${build.dir}"/>
-        <delete dir="${dist.dir}" followsymlinks="false" includeemptydirs="true"/>
-    </target>
-    <target name="-post-clean">
-        <!-- Empty placeholder for easier customization. -->
-        <!-- You can override this target in the ../build.xml file. -->
-    </target>
-    <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/>
-    <target name="-check-call-dep">
-        <property file="${call.built.properties}" prefix="already.built."/>
-        <condition property="should.call.dep">
-            <not>
-                <isset property="already.built.${call.subproject}"/>
-            </not>
-        </condition>
-    </target>
-    <target depends="-check-call-dep" if="should.call.dep" name="-maybe-call-dep">
-        <ant antfile="${call.script}" inheritall="false" target="${call.target}">
-            <propertyset>
-                <propertyref prefix="transfer."/>
-                <mapper from="transfer.*" to="*" type="glob"/>
-            </propertyset>
-        </ant>
-    </target>
-</project>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/genfiles.properties
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/genfiles.properties	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-nbbuild.xml.data.CRC32=43e9ab59
-nbbuild.xml.script.CRC32=3cc26b11
-nbbuild.xml.stylesheet.CRC32=958a1d3e@1.32.1.45
-# This file is used by a NetBeans-based IDE to track changes in generated files such as build-impl.xml.
-# Do not edit this file. You may delete it but then the IDE will never regenerate such files for you.
-nbproject/build-impl.xml.data.CRC32=43e9ab59
-nbproject/build-impl.xml.script.CRC32=28be3b08
-nbproject/build-impl.xml.stylesheet.CRC32=576378a2@1.32.1.45
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.properties
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.properties	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-compile.on.save=true
-do.depend=false
-do.jar=true
-file.reference.jars-QuickNotepad=/usr/local/isac-jedit/src/Tools/isac/jEditC/contrib/jEdit/jars/QuickNotepad
-javac.debug=true
-javadoc.preview=true
-user.properties.file=/home/gadei/.netbeans/6.8/build.properties
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/private/private.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project-private xmlns="http://www.netbeans.org/ns/project-private/1">
-    <editor-bookmarks xmlns="http://www.netbeans.org/ns/editor-bookmarks/1"/>
-</project-private>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.properties
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.properties	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,73 +0,0 @@
-application.title=Isac
-application.vendor=gadei
-build.classes.dir=${build.dir}/classes
-build.classes.excludes=**/*.java,**/*.form
-# This directory is removed when the project is cleaned:
-build.dir=build
-build.generated.dir=${build.dir}/generated
-build.generated.sources.dir=${build.dir}/generated-sources
-# Only compile against the classpath explicitly listed here:
-build.sysclasspath=ignore
-build.test.classes.dir=${build.dir}/test/classes
-build.test.results.dir=${build.dir}/test/results
-buildfile=nbbuild.xml
-# Uncomment to specify the preferred debugger connection transport:
-#debug.transport=dt_socket
-debug.classpath=\
-    ${run.classpath}
-debug.test.classpath=\
-    ${run.test.classpath}
-# This directory is removed when the project is cleaned:
-dist.dir=dist
-dist.jar=${dist.dir}/Isac.jar
-dist.javadoc.dir=${dist.dir}/javadoc
-endorsed.classpath=
-excludes=
-file.reference.jars-QuickNotepad=QuickNotepad
-file.reference.jEdit.jar=../build/jEdit.jar
-includes=*.java
-jar.compress=false
-javac.classpath=\
-    ${file.reference.jEdit.jar}
-# Space-separated list of extra javac options
-javac.compilerargs=
-javac.deprecation=false
-javac.source=1.5
-javac.target=1.5
-javac.test.classpath=\
-    ${javac.classpath}:\
-    ${build.classes.dir}:\
-    ${libs.junit.classpath}:\
-    ${libs.junit_4.classpath}
-javadoc.additionalparam=
-javadoc.author=false
-javadoc.encoding=${source.encoding}
-javadoc.noindex=false
-javadoc.nonavbar=false
-javadoc.notree=false
-javadoc.private=false
-javadoc.splitindex=true
-javadoc.use=true
-javadoc.version=false
-javadoc.windowtitle=
-jnlp.codebase.type=local
-jnlp.descriptor=application
-jnlp.enabled=false
-jnlp.offline-allowed=false
-jnlp.signed=false
-main.class=
-manifest.file=manifest.mf
-meta.inf.dir=${src.dir}/META-INF
-platform.active=default_platform
-run.classpath=\
-    ${javac.classpath}:\
-    ${build.classes.dir}
-# Space-separated list of JVM arguments used when running the project
-# (you may also define separate properties like run-sys-prop.name=value instead of -Dname=value
-# or test-sys-prop.name=value to set system properties for unit tests):
-run.jvmargs=
-run.test.classpath=\
-    ${javac.test.classpath}:\
-    ${build.test.classes.dir}
-source.encoding=UTF-8
-src.Isac.dir=Isac
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.xml
--- a/src/Tools/isac/jEditC/contrib/jEdit/jars/nbproject/project.xml	Tue Aug 31 21:03:11 2010 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,13 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://www.netbeans.org/ns/project/1">
-    <type>org.netbeans.modules.java.j2seproject</type>
-    <configuration>
-        <data xmlns="http://www.netbeans.org/ns/j2se-project/3">
-            <name>Isac</name>
-            <source-roots>
-                <root id="src.Isac.dir"/>
-            </source-roots>
-            <test-roots/>
-        </data>
-    </configuration>
-</project>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/isac/jEditC/nbproject/private/private.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/isac/jEditC/nbproject/private/private.xml	Tue Aug 31 21:15:03 2010 +0200
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project-private xmlns="http://www.netbeans.org/ns/project-private/1">
+    <editor-bookmarks xmlns="http://www.netbeans.org/ns/editor-bookmarks/1"/>
+    <open-files xmlns="http://www.netbeans.org/ns/projectui-open-files/1">
+        <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/build.xml</file>
+        <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/src/jedit/IsacPlugin.java</file>
+        <file>file:/usr/local/isac-jedit/src/Tools/isac/jEditC/src/jedit/Isac.java</file>
+    </open-files>
+</project-private>
diff -r d13fa2ee5bdb -r 62186eba092b src/Tools/jEdit/nbproject/build-impl.xml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/jEdit/nbproject/build-impl.xml	Tue Aug 31 21:15:03 2010 +0200
@@ -0,0 +1,707 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+*** GENERATED FROM project.xml - DO NOT EDIT  ***
+***         EDIT ../build.xml INSTEAD         ***
+
+For the purpose of easier reading the script
+is divided into following sections:
+
+  - initialization
+  - compilation
+  - jar
+  - execution
+  - debugging
+  - javadoc
+  - junit compilation
+  - junit execution
+  - junit debugging
+  - applet
+  - cleanup
+
+        
+        -->
+<project xmlns:jaxrpc="http://www.netbeans.org/ns/scala-project/jax-rpc" xmlns:scalaProject1="http://www.netbeans.org/ns/scala-project/1" basedir=".." default="default" name="Isabelle-jEdit-impl">
+    <target depends="test,jar,javadoc" description="Build and test whole project." name="default"/>
+    <!--
+                ======================
+                INITIALIZATION SECTION
+                ======================
+            -->
+    <target name="-pre-init">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="-pre-init" name="-init-private">
+        <property file="nbproject/private/config.properties"/>
+        <property file="nbproject/private/configs/${config}.properties"/>
+        <property file="nbproject/private/private.properties"/>
+        <property environment="env"/>
+        <condition property="scala.home" value="${env.SCALA_HOME}">
+            <isset property="env.SCALA_HOME"/>
+        </condition>
+        <fail unless="scala.home">
+                    You must set SCALA_HOME or environment property and append "-J-Dscala.home=scalahomepath"
+                    property to the end of "netbeans_default_options" in NetBeansInstallationPath/etc/netbeans.conf to point to
+                    Scala installation directory.
+                </fail>
+        <property name="scala.compiler" value="${scala.home}/lib/scala-compiler.jar"/>
+        <property name="scala.library" value="${scala.home}/lib/scala-library.jar"/>
+        <property name="scala.lib" value="${scala.home}/lib"/>
+        <taskdef resource="scala/tools/ant/antlib.xml">
+            <classpath>
+                <pathelement location="${scala.compiler}"/>
+                <pathelement location="${scala.library}"/>
+            </classpath>
+        </taskdef>
+    </target>
+    <target depends="-pre-init,-init-private" name="-init-user">
+        <property file="${user.properties.file}"/>
+        <!-- The two properties below are usually overridden -->
+        <!-- by the active platform. Just a fallback. -->
+        <property name="default.javac.source" value="1.5"/>
+        <property name="default.javac.target" value="1.5"/>
+    </target>
+    <target depends="-pre-init,-init-private,-init-user" name="-init-project">
+        <property file="nbproject/configs/${config}.properties"/>
+        <property file="nbproject/project.properties"/>
+    </target>
+    <target depends="-pre-init,-init-private,-init-user,-init-project,-init-macrodef-property" name="-do-init">
+        <available file="${manifest.file}" property="manifest.available"/>
+        <condition property="manifest.available+main.class">
+            <and>
+                <isset property="manifest.available"/>
+                <isset property="main.class"/>
+                <not>
+                    <equals arg1="${main.class}" arg2="" trim="true"/>
+                </not>
+            </and>
+        </condition>
+        <condition property="manifest.available+main.class+mkdist.available">
+            <and>
+                <istrue value="${manifest.available+main.class}"/>
+                <isset property="libs.CopyLibs.classpath"/>
+            </and>
+        </condition>
+        <condition property="have.tests">
+            <or/>
+        </condition>
+        <condition property="have.sources">
+            <or>
+                <available file="${src.dir}"/>
+            </or>
+        </condition>
+        <condition property="netbeans.home+have.tests">
+            <and>
+                <isset property="netbeans.home"/>
+                <isset property="have.tests"/>
+            </and>
+        </condition>
+        <condition property="no.javadoc.preview">
+            <and>
+                <isset property="javadoc.preview"/>
+                <isfalse value="${javadoc.preview}"/>
+            </and>
+        </condition>
+        <property name="run.jvmargs" value=""/>
+        <property name="javac.compilerargs" value=""/>
+        <property name="work.dir" value="${basedir}"/>
+        <condition property="no.deps">
+            <and>
+                <istrue value="${no.dependencies}"/>
+            </and>
+        </condition>
+        <property name="javac.debug" value="true"/>
+        <property name="javadoc.preview" value="true"/>
+        <property name="application.args" value=""/>
+        <property name="source.encoding" value="${file.encoding}"/>
+        <condition property="javadoc.encoding.used" value="${javadoc.encoding}">
+            <and>
+                <isset property="javadoc.encoding"/>
+                <not>
+                    <equals arg1="${javadoc.encoding}" arg2=""/>
+                </not>
+            </and>
+        </condition>
+        <property name="javadoc.encoding.used" value="${source.encoding}"/>
+        <property name="includes" value="**"/>
+        <property name="excludes" value=""/>
+        <property name="extdirs" value=" "/>
+        <property name="do.depend" value="false"/>
+        <condition property="do.depend.true">
+            <istrue value="${do.depend}"/>
+        </condition>
+        <condition else="" property="javac.compilerargs.jaxws" value="-Djava.endorsed.dirs='${jaxws.endorsed.dir}'">
+            <and>
+                <isset property="jaxws.endorsed.dir"/>
+                <available file="nbproject/jaxws-build.xml"/>
+            </and>
+        </condition>
+    </target>
+    <target name="-post-init">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="-pre-init,-init-private,-init-user,-init-project,-do-init" name="-init-check">
+        <fail unless="src.dir">Must set src.dir</fail>
+        <fail unless="build.dir">Must set build.dir</fail>
+        <fail unless="dist.dir">Must set dist.dir</fail>
+        <fail unless="build.classes.dir">Must set build.classes.dir</fail>
+        <fail unless="dist.javadoc.dir">Must set dist.javadoc.dir</fail>
+        <fail unless="build.test.classes.dir">Must set build.test.classes.dir</fail>
+        <fail unless="build.test.results.dir">Must set build.test.results.dir</fail>
+        <fail unless="build.classes.excludes">Must set build.classes.excludes</fail>
+        <fail unless="dist.jar">Must set dist.jar</fail>
+    </target>
+    <target name="-init-macrodef-property">
+        <macrodef name="property" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute name="name"/>
+            <attribute name="value"/>
+            <sequential>
+                <property name="@{name}" value="${@{value}}"/>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-macrodef-javac">
+        <macrodef name="javac" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${src.dir}" name="srcdir"/>
+            <attribute default="${build.classes.dir}" name="destdir"/>
+            <attribute default="${javac.classpath}" name="classpath"/>
+            <attribute default="${includes}" name="includes"/>
+            <attribute default="${excludes}" name="excludes"/>
+            <attribute default="${javac.debug}" name="debug"/>
+            <attribute default="" name="sourcepath"/>
+            <element name="customize" optional="true"/>
+            <sequential>
+                <javac debug="@{debug}" deprecation="${javac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" includeantruntime="false" includes="@{includes}" source="${javac.source}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="${javac.target}">
+                    <classpath>
+                        <path path="@{classpath}"/>
+                        <fileset dir="${scala.lib}">
+                            <include name="**/*.jar"/>
+                        </fileset>
+                    </classpath>
+                    <compilerarg line="${javac.compilerargs} ${javac.compilerargs.jaxws}"/>
+                    <customize/>
+                </javac>
+            </sequential>
+        </macrodef>
+        <macrodef name="depend" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${src.dir}" name="srcdir"/>
+            <attribute default="${build.classes.dir}" name="destdir"/>
+            <attribute default="${javac.classpath}" name="classpath"/>
+            <sequential>
+                <depend cache="${build.dir}/depcache" destdir="@{destdir}" excludes="${excludes}" includes="${includes}" srcdir="@{srcdir}">
+                    <classpath>
+                        <path>
+                            <pathelement path="@{classpath}"/>
+                            <fileset dir="${scala.lib}">
+                                <include name="**/*.jar"/>
+                            </fileset>
+                            <pathelement location="${build.classes.dir}"/>
+                        </path>
+                    </classpath>
+                </depend>
+            </sequential>
+        </macrodef>
+        <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${build.classes.dir}" name="destdir"/>
+            <sequential>
+                <fail unless="javac.includes">Must set javac.includes</fail>
+                <pathconvert pathsep="," property="javac.includes.binary">
+                    <path>
+                        <filelist dir="@{destdir}" files="${javac.includes}"/>
+                    </path>
+                    <globmapper from="*.java" to="*.class"/>
+                </pathconvert>
+                <delete>
+                    <files includes="${javac.includes.binary}"/>
+                </delete>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-macrodef-scalac">
+        <macrodef name="scalac" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${src.dir}" name="srcdir"/>
+            <attribute default="${build.classes.dir}" name="destdir"/>
+            <attribute default="${javac.classpath}" name="classpath"/>
+            <attribute default="${extdirs}" name="extdirs"/>
+            <attribute default="${includes}" name="includes"/>
+            <attribute default="${excludes}" name="excludes"/>
+            <attribute default="${scalac.compilerargs}" name="addparams"/>
+            <attribute default="" name="sourcepath"/>
+            <element name="customize" optional="true"/>
+            <sequential>
+                <scalac addparams="-make:transitive -dependencyfile &quot;${basedir}/${build.dir}/.scala_dependencies&quot; @{addparams}" deprecation="${scalac.deprecation}" destdir="@{destdir}" encoding="${source.encoding}" excludes="@{excludes}" extdirs="@{extdirs}" force="yes" fork="true" includes="@{includes}" sourcepath="@{sourcepath}" srcdir="@{srcdir}" target="jvm-1.5" unchecked="${scalac.unchecked}">
+                    <classpath>
+                        <path>
+                            <pathelement path="@{classpath}"/>
+                            <fileset dir="${scala.lib}">
+                                <include name="**/*.jar"/>
+                            </fileset>
+                            <pathelement location="${build.classes.dir}"/>
+                        </path>
+                    </classpath>
+                    <customize/>
+                </scalac>
+            </sequential>
+        </macrodef>
+        <macrodef name="force-recompile" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${build.classes.dir}" name="destdir"/>
+            <sequential>
+                <fail unless="javac.includes">Must set javac.includes</fail>
+                <pathconvert pathsep="," property="javac.includes.binary">
+                    <path>
+                        <filelist dir="@{destdir}" files="${javac.includes}"/>
+                    </path>
+                    <globmapper from="*.scala" to="*.class"/>
+                </pathconvert>
+                <delete>
+                    <files includes="${javac.includes.binary}"/>
+                </delete>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-macrodef-junit">
+        <macrodef name="junit" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${includes}" name="includes"/>
+            <attribute default="${excludes}" name="excludes"/>
+            <attribute default="**" name="testincludes"/>
+            <sequential>
+                <junit dir="${work.dir}" errorproperty="tests.failed" failureproperty="tests.failed" fork="true" showoutput="true">
+                    <batchtest todir="${build.test.results.dir}">
+                        <fileset dir="${build.test.classes.dir}" excludes="@{excludes},${excludes}" includes="@{includes}">
+                            <filename name="@{testincludes}"/>
+                        </fileset>
+                    </batchtest>
+                    <classpath>
+                        <path path="${run.test.classpath}"/>
+                        <fileset dir="${scala.lib}">
+                            <include name="**/*.jar"/>
+                        </fileset>
+                    </classpath>
+                    <syspropertyset>
+                        <propertyref prefix="test-sys-prop."/>
+                        <mapper from="test-sys-prop.*" to="*" type="glob"/>
+                    </syspropertyset>
+                    <formatter type="brief" usefile="false"/>
+                    <formatter type="xml"/>
+                    <jvmarg line="${run.jvmargs}"/>
+                </junit>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-macrodef-nbjpda">
+        <macrodef name="nbjpdastart" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${main.class}" name="name"/>
+            <attribute default="${debug.classpath}" name="classpath"/>
+            <attribute default="" name="stopclassname"/>
+            <sequential>
+                <nbjpdastart addressproperty="jpda.address" name="@{name}" stopclassname="@{stopclassname}" transport="dt_socket">
+                    <classpath>
+                        <path path="@{classpath}"/>
+                    </classpath>
+                </nbjpdastart>
+            </sequential>
+        </macrodef>
+        <macrodef name="nbjpdareload" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${build.classes.dir}" name="dir"/>
+            <sequential>
+                <nbjpdareload>
+                    <fileset dir="@{dir}" includes="${fix.includes}*.class"/>
+                </nbjpdareload>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-debug-args">
+        <property name="version-output" value="java version &quot;${ant.java.version}"/>
+        <condition property="have-jdk-older-than-1.4">
+            <or>
+                <contains string="${version-output}" substring="java version &quot;1.0"/>
+                <contains string="${version-output}" substring="java version &quot;1.1"/>
+                <contains string="${version-output}" substring="java version &quot;1.2"/>
+                <contains string="${version-output}" substring="java version &quot;1.3"/>
+            </or>
+        </condition>
+        <condition else="-Xdebug" property="debug-args-line" value="-Xdebug -Xnoagent -Djava.compiler=none">
+            <istrue value="${have-jdk-older-than-1.4}"/>
+        </condition>
+    </target>
+    <target depends="-init-debug-args" name="-init-macrodef-debug">
+        <macrodef name="debug" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${main.class}" name="classname"/>
+            <attribute default="${debug.classpath}" name="classpath"/>
+            <element name="customize" optional="true"/>
+            <sequential>
+                <java classname="@{classname}" dir="${work.dir}" fork="true">
+                    <jvmarg line="${debug-args-line}"/>
+                    <jvmarg value="-Xrunjdwp:transport=dt_socket,address=${jpda.address}"/>
+                    <jvmarg line="${run.jvmargs}"/>
+                    <classpath>
+                        <path path="@{classpath}"/>
+                        <fileset dir="${scala.lib}">
+                            <include name="**/*.jar"/>
+                        </fileset>
+                    </classpath>
+                    <syspropertyset>
+                        <propertyref prefix="run-sys-prop."/>
+                        <mapper from="run-sys-prop.*" to="*" type="glob"/>
+                    </syspropertyset>
+                    <customize/>
+                </java>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-macrodef-java">
+        <macrodef name="java" uri="http://www.netbeans.org/ns/scala-project/1">
+            <attribute default="${main.class}" name="classname"/>
+            <element name="customize" optional="true"/>
+            <sequential>
+                <java classname="@{classname}" dir="${work.dir}" fork="true">
+                    <jvmarg line="${run.jvmargs}"/>
+                    <classpath>
+                        <path path="${run.classpath}"/>
+                        <fileset dir="${scala.lib}">
+                            <include name="**/*.jar"/>
+                        </fileset>
+                    </classpath>
+                    <syspropertyset>
+                        <propertyref prefix="run-sys-prop."/>
+                        <mapper from="run-sys-prop.*" to="*" type="glob"/>
+                    </syspropertyset>
+                    <customize/>
+                </java>
+            </sequential>
+        </macrodef>
+    </target>
+    <target name="-init-presetdef-jar">
+        <presetdef name="jar" uri="http://www.netbeans.org/ns/scala-project/1">
+            <jar compress="${jar.compress}" jarfile="${dist.jar}">
+                <scalaProject1:fileset dir="${build.classes.dir}"/>
+            </jar>
+        </presetdef>
+    </target>
+    <target depends="-pre-init,-init-private ,-init-user,-init-project,-do-init,-post-init,-init-check,-init-macrodef-property,-init-macrodef-javac,-init-macrodef-scalac,-init-macrodef-junit,-init-macrodef-nbjpda,-init-macrodef-debug,-init-macrodef-java,-init-presetdef-jar" name="init"/>
+    <!--
+                ===================
+                COMPILATION SECTION
+                ===================
+            -->
+    <target depends="init" name="deps-jar" unless="no.deps">
+        <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="build"/>
+    </target>
+    <target depends="init,deps-jar" name="-pre-pre-compile">
+        <mkdir dir="${build.classes.dir}"/>
+    </target>
+    <target name="-pre-compile">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target if="do.depend.true" name="-compile-depend">
+        <scalaProject1:depend/>
+    </target>
+    <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-compile-depend" if="have.sources" name="-do-compile">
+        <scalaProject1:scalac/>
+        <scalaProject1:javac/>
+        <copy todir="${build.classes.dir}">
+            <fileset dir="${src.dir}" excludes="${build.classes.excludes},${excludes}&#10;                        " includes="${includes}"/>
+        </copy>
+    </target>
+    <target name="-post-compile">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,deps-jar,-pre-pre-compile,-pre-compile,-do-compile,-post-compile" description="Compile project." name="compile"/>
+    <target name="-pre-compile-single">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,deps-jar,-pre-pre-compile" name="-do-compile-single">
+        <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
+        <scalaProject1:force-recompile/>
+        <scalaProject1:scalac excludes="" includes="${javac.includes}" sourcepath="${src.dir}"/>
+    </target>
+    <target name="-post-compile-single">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,deps-jar,-pre-pre-compile,-pre-compile-single,-do-compile-single,-post-compile-single" name="compile-single"/>
+    <!--
+                ====================
+                JAR BUILDING SECTION
+                ====================
+            -->
+    <target depends="init" name="-pre-pre-jar">
+        <dirname file="${dist.jar}" property="dist.jar.dir"/>
+        <mkdir dir="${dist.jar.dir}"/>
+    </target>
+    <target name="-pre-jar">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,compile,-pre-pre-jar,-pre-jar" name="-do-jar-without-manifest" unless="manifest.available">
+        <scalaProject1:jar/>
+    </target>
+    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available" name="-do-jar-with-manifest" unless="manifest.available+main.class">
+        <scalaProject1:jar manifest="${manifest.file}"/>
+    </target>
+    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class" name="-do-jar-with-mainclass" unless="manifest.available+main.class+mkdist.available">
+        <scalaProject1:jar manifest="${manifest.file}">
+            <scalaProject1:manifest>
+                <scalaProject1:attribute name="Main-Class" value="${main.class}"/>
+            </scalaProject1:manifest>
+        </scalaProject1:jar>
+        <echo>To run this application from the command line without Ant, try:</echo>
+        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
+        <property location="${dist.jar}" name="dist.jar.resolved"/>
+        <pathconvert property="run.classpath.with.dist.jar">
+            <path path="${run.classpath}"/>
+            <map from="${build.classes.dir.resolved}" to="${dist.jar.resolved}"/>
+        </pathconvert>
+        <echo>java -cp "${run.classpath.with.dist.jar}" ${main.class}
+                </echo>
+    </target>
+    <target depends="init,compile,-pre-pre-jar,-pre-jar" if="manifest.available+main.class+mkdist.available" name="-do-jar-with-libraries">
+        <property location="${build.classes.dir}" name="build.classes.dir.resolved"/>
+        <pathconvert property="run.classpath.without.build.classes.dir">
+            <path path="${run.classpath}"/>
+            <map from="${build.classes.dir.resolved}" to=""/>
+        </pathconvert>
+        <pathconvert pathsep=" " property="jar.classpath">
+            <path path="${run.classpath.without.build.classes.dir}"/>
+            <chainedmapper>
+                <flattenmapper/>
+                <globmapper from="*" to="lib/*"/>
+            </chainedmapper>
+        </pathconvert>
+        <taskdef classname="org.netbeans.modules.java.j2seproject.copylibstask.CopyLibs" classpath="${libs.CopyLibs.classpath}" name="copylibs"/>
+        <copylibs compress="${jar.compress}" jarfile="${dist.jar}" manifest="${manifest.file}" runtimeclasspath="${run.classpath.without.build.classes.dir}">
+            <fileset dir="${build.classes.dir}"/>
+            <manifest>
+                <attribute name="Main-Class" value="${main.class}"/>
+                <attribute name="Class-Path" value="${jar.classpath}"/>
+            </manifest>
+        </copylibs>
+        <echo>To run this application from the command line without Ant, try:</echo>
+        <property location="${dist.jar}" name="dist.jar.resolved"/>
+        <echo>java -jar "${dist.jar.resolved}"
+                </echo>
+    </target>
+    <target name="-post-jar">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,compile,-pre-jar,-do-jar-with-manifest,-do-jar-without-manifest,-do-jar-with-mainclass,-do-jar-with-libraries,-post-jar" description="Build JAR." name="jar"/>
+    <!--
+                =================
+                EXECUTION SECTION
+                =================
+            -->
+    <target depends="init,compile" description="Run a main class." name="run">
+        <scalaProject1:java>
+            <customize>
+                <arg line="${application.args}"/>
+            </customize>
+        </scalaProject1:java>
+    </target>
+    <target name="-do-not-recompile">
+        <property name="javac.includes.binary" value=""/>
+    </target>
+    <target depends="init,-do-not-recompile,compile-single" name="run-single">
+        <fail unless="run.class">Must select one file in the IDE or set run.class</fail>
+        <scalaProject1:java classname="${run.class}"/>
+    </target>
+    <!--
+                =================
+                DEBUGGING SECTION
+                =================
+            -->
+    <target depends="init" if="netbeans.home" name="-debug-start-debugger">
+        <scalaProject1:nbjpdastart name="${debug.class}"/>
+    </target>
+    <target depends="init,compile" name="-debug-start-debuggee">
+        <scalaProject1:debug>
+            <customize>
+                <arg line="${application.args}"/>
+            </customize>
+        </scalaProject1:debug>
+    </target>
+    <target depends="init,compile,-debug-start-debugger,-debug-start-debuggee" description="Debug project in IDE." if="netbeans.home" name="debug"/>
+    <target depends="init" if="netbeans.home" name="-debug-start-debugger-stepinto">
+        <scalaProject1:nbjpdastart stopclassname="${main.class}"/>
+    </target>
+    <target depends="init,compile,-debug-start-debugger-stepinto,-debug-start-debuggee" if="netbeans.home" name="debug-stepinto"/>
+    <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-single">
+        <fail unless="debug.class">Must select one file in the IDE or set debug.class</fail>
+        <scalaProject1:debug classname="${debug.class}"/>
+    </target>
+    <target depends="init,-do-not-recompile,compile-single,-debug-start-debugger,-debug-start-debuggee-single" if="netbeans.home" name="debug-single"/>
+    <target depends="init" name="-pre-debug-fix">
+        <fail unless="fix.includes">Must set fix.includes</fail>
+        <property name="javac.includes" value="${fix.includes}.java"/>
+    </target>
+    <target depends="init,-pre-debug-fix,compile-single" if="netbeans.home" name="-do-debug-fix">
+        <scalaProject1:nbjpdareload/>
+    </target>
+    <target depends="init,-pre-debug-fix,-do-debug-fix" if="netbeans.home" name="debug-fix"/>
+    <!--
+                ===============
+                JAVADOC SECTION
+                ===============
+            -->
+    <target depends="init" name="-javadoc-build">
+        <mkdir dir="${dist.javadoc.dir}"/>
+        <scaladoc addparams="${javadoc.additionalparam}" deprecation="yes" destdir="${dist.javadoc.dir}" doctitle="${javadoc.windowtitle}" encoding="${javadoc.encoding.used}" srcdir="${src.dir}" unchecked="yes">
+            <classpath>
+                <path path="${javac.classpath}"/>
+                <fileset dir="${scala.lib}">
+                    <include name="**/*.jar"/>
+                </fileset>
+            </classpath>
+        </scaladoc>
+    </target>
+    <target depends="init,-javadoc-build" if="netbeans.home" name="-javadoc-browse" unless="no.javadoc.preview">
+        <nbbrowse file="${dist.javadoc.dir}/index.html"/>
+    </target>
+    <target depends="init,-javadoc-build,-javadoc-browse" description="Build Javadoc." name="javadoc"/>
+    <!--
+                =========================
+                JUNIT COMPILATION SECTION
+                =========================
+            -->
+    <target depends="init,compile" if="have.tests" name="-pre-pre-compile-test">
+        <mkdir dir="${build.test.classes.dir}"/>
+    </target>
+    <target name="-pre-compile-test">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target if="do.depend.true" name="-compile-test-depend">
+        <scalaProject1:depend classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
+    </target>
+    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-compile-test-depend" if="have.tests" name="-do-compile-test">
+        <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" srcdir=""/>
+        <copy todir="${build.test.classes.dir}"/>
+    </target>
+    <target name="-post-compile-test">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test,-do-compile-test,-post-compile-test" name="compile-test"/>
+    <target name="-pre-compile-test-single">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single" if="have.tests" name="-do-compile-test-single">
+        <fail unless="javac.includes">Must select some files in the IDE or set javac.includes</fail>
+        <scalaProject1:force-recompile destdir="${build.test.classes.dir}"/>
+        <scalaProject1:scalac classpath="${javac.test.classpath}" destdir="${build.test.classes.dir}" excludes="" includes="${javac.includes}" sourcepath="" srcdir=""/>
+        <copy todir="${build.test.classes.dir}"/>
+    </target>
+    <target name="-post-compile-test-single">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,compile,-pre-pre-compile-test,-pre-compile-test-single,-do-compile-test-single,-post-compile-test-single" name="compile-test-single"/>
+    <!--
+                =======================
+                JUNIT EXECUTION SECTION
+                =======================
+            -->
+    <target depends="init" if="have.tests" name="-pre-test-run">
+        <mkdir dir="${build.test.results.dir}"/>
+    </target>
+    <target depends="init,compile-test,-pre-test-run" if="have.tests" name="-do-test-run">
+        <scalaProject1:junit testincludes="**/*Test.class"/>
+    </target>
+    <target depends="init,compile-test,-pre-test-run,-do-test-run" if="have.tests" name="-post-test-run">
+        <fail if="tests.failed">Some tests failed; see details above.</fail>
+    </target>
+    <target depends="init" if="have.tests" name="test-report"/>
+    <target depends="init" if="netbeans.home+have.tests" name="-test-browse"/>
+    <target depends="init,compile-test,-pre-test-run,-do-test-run,test-report,-post-test-run,-test-browse" description="Run unit tests." name="test"/>
+    <target depends="init" if="have.tests" name="-pre-test-run-single">
+        <mkdir dir="${build.test.results.dir}"/>
+    </target>
+    <target depends="init,compile-test-single,-pre-test-run-single" if="have.tests" name="-do-test-run-single">
+        <fail unless="test.includes">Must select some files in the IDE or set test.includes</fail>
+        <scalaProject1:junit excludes="" includes="${test.includes}"/>
+    </target>
+    <target depends="init,compile-test-single,-pre-test-run-single,-do-test-run-single" if="have.tests" name="-post-test-run-single">
+        <fail if="tests.failed">Some tests failed; see details above.</fail>
+    </target>
+    <target depends="init,-do-not-recompile,compile-test-single,-pre-test-run-single,-do-test-run-single,-post-test-run-single" description="Run single unit test." name="test-single"/>
+    <!--
+                =======================
+                JUNIT DEBUGGING SECTION
+                =======================
+            -->
+    <target depends="init,compile-test" if="have.tests" name="-debug-start-debuggee-test">
+        <fail unless="test.class">Must select one file in the IDE or set test.class</fail>
+        <property location="${build.test.results.dir}/TEST-${test.class}.xml" name="test.report.file"/>
+        <delete file="${test.report.file}"/>
+        <mkdir dir="${build.test.results.dir}"/>
+        <scalaProject1:debug classname="org.apache.tools.ant.taskdefs.optional.junit.JUnitTestRunner" classpath="${ant.home}/lib/ant.jar:${ant.home}/lib/ant-junit.jar:${debug.test.classpath}">
+            <customize>
+                <syspropertyset>
+                    <propertyref prefix="test-sys-prop."/>
+                    <mapper from="test-sys-prop.*" to="*" type="glob"/>
+                </syspropertyset>
+                <arg value="${test.class}"/>
+                <arg value="showoutput=true"/>
+                <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.BriefJUnitResultFormatter"/>
+                <arg value="formatter=org.apache.tools.ant.taskdefs.optional.junit.XMLJUnitResultFormatter,${test.report.file}"/>
+            </customize>
+        </scalaProject1:debug>
+    </target>
+    <target depends="init,compile-test" if="netbeans.home+have.tests" name="-debug-start-debugger-test">
+        <scalaProject1:nbjpdastart classpath="${debug.test.classpath}" name="${test.class}"/>
+    </target>
+    <target depends="init,-do-not-recompile,compile-test-single,-debug-start-debugger-test,-debug-start-debuggee-test" name="debug-test"/>
+    <target depends="init,-pre-debug-fix,compile-test-single" if="netbeans.home" name="-do-debug-fix-test">
+        <scalaProject1:nbjpdareload dir="${build.test.classes.dir}"/>
+    </target>
+    <target depends="init,-pre-debug-fix,-do-debug-fix-test" if="netbeans.home" name="debug-fix-test"/>
+    <!--
+                =========================
+                APPLET EXECUTION SECTION
+                =========================
+            -->
+    <target depends="init,compile-single" name="run-applet">
+        <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
+        <scalaProject1:java classname="sun.applet.AppletViewer">
+            <customize>
+                <arg value="${applet.url}"/>
+            </customize>
+        </scalaProject1:java>
+    </target>
+    <!--
+                =========================
+                APPLET DEBUGGING  SECTION
+                =========================
+            -->
+    <target depends="init,compile-single" if="netbeans.home" name="-debug-start-debuggee-applet">
+        <fail unless="applet.url">Must select one file in the IDE or set applet.url</fail>
+        <scalaProject1:debug classname="sun.applet.AppletViewer">
+            <customize>
+                <arg value="${applet.url}"/>
+            </customize>
+        </scalaProject1:debug>
+    </target>
+    <target depends="init,compile-single,-debug-start-debugger,-debug-start-debuggee-applet" if="netbeans.home" name="debug-applet"/>
+    <!--
+                ===============
+                CLEANUP SECTION
+                ===============
+            -->
+    <target depends="init" name="deps-clean" unless="no.deps">
+        <ant antfile="${project.jEdit}/build-nb.xml" inheritall="false" target="clean"/>
+    </target>
+    <target depends="init" name="-do-clean">
+        <delete dir="${build.dir}"/>
+        <delete dir="${dist.dir}"/>
+    </target>
+    <target name="-post-clean">
+        <!-- Empty placeholder for easier customization. -->
+        <!-- You can override this target in the ../build.xml file. -->
+    </target>
+    <target depends="init,deps-clean,-do-clean,-post-clean" description="Clean build products." name="clean"/>
+</project>