| GeneralEditorException.java |
1 package com.ontotext.gate.vr;
2
3 import gate.util.GateException;
4
5 /** A general editor exception */
6 public class GeneralEditorException extends GateException {
7
8 /** The base of the exception message */
9 private static final String BASE = "General Editor Exception:\n";
10
11
12 public GeneralEditorException(String msg) {
13 super(BASE+msg);
14 }
15 }