GeneralEditorException.java
01 package com.ontotext.gate.vr;
02 
03 import gate.util.GateException;
04 
05 /** A general editor exception */
06 public class GeneralEditorException extends GateException {
07 
08   /** The base of the exception message */
09   private static final String BASE = "General Editor Exception:\n";
10 
11 
12   public GeneralEditorException(String msg) {
13     super(BASE+msg);
14   }
15 }