public class BadOperatorException extends java.lang.Exception
{
}