Source for org.w3c.flute.parser.JumpException

   1: /*
   2:  * (c) COPYRIGHT 1999 World Wide Web Consortium
   3:  * (Massachusetts Institute of Technology, Institut National de Recherche
   4:  *  en Informatique et en Automatique, Keio University).
   5:  * All Rights Reserved. http://www.w3.org/Consortium/Legal/
   6:  *
   7:  * $Id: JumpException.java,v 1.1.1.1 2006/04/23 14:51:24 taqua Exp $
   8:  */
   9: package org.w3c.flute.parser;
  10: 
  11: /**
  12:  * @version $Revision: 1.1.1.1 $
  13:  * @author  Philippe Le Hegaret
  14:  */
  15: public class JumpException extends RuntimeException {
  16:     /**
  17:      * Creates a new JumpException
  18:      */
  19:     public JumpException() {
  20:     }
  21:     
  22: }