4,9 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.1 $ |
* @version $Revision: 1.2 $ |
* |
* Last modification: $Date: 2003/07/14 10:32:08 $ |
* Last modification: $Date: 2003/07/14 10:34:26 $ |
* $Id: PluginManager.java,v 1.19 2003/07/14 10:02:47 swalkenh Exp $ |
*/ |
|
package src.control; |
14,7 → 15,7 |
import java.io.File; |
|
/** |
* The DTDExtensionFilter class is a file filter that does only |
* The <b><code>DTDExtensionFilter</code></b> class is a file filter that does only |
* accept file names with the extension *.dtd or *.DTD. |
* |
* @author S. McSporran |
58,7 → 59,7 |
} |
|
/** |
* Implementation of the abstract getDescription method. |
* Implementation of the abstract <code>getDescription</code> method. |
*/ |
public String getDescription() { |
return "XML grammar files (*.dtd, *.DTD)"; |