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 }