192 public static class AbortedException extends RuntimeException {  class in CR
193     public AbortedException() { super(); }  in AbortedException()  method in CR.AbortedException
194     public AbortedException(String s) { super(s); }  in AbortedException()  method in CR.AbortedException
421                 throw new AbortedException();  in iter_msd()
526                 throw new AbortedException();  in compareTo()
558                 throw new AbortedException();  in signum()
1264           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1307           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1354           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1398           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1463           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()