// -*- java -*-
/*
  Exceptions.java
  Miscellaneous Exception collection.
  Written by Tero Hasu.
  */

import java.io.*;

class SyntaxException extends IOException
{
  public
  SyntaxException() {}
  public
  SyntaxException(String gripe)
  {
    super(gripe);
  }
}