195 public static class AbortedException extends RuntimeException {  class in CR
196     public AbortedException() { super(); }  in AbortedException()  method in CR.AbortedException
197     public AbortedException(String s) { super(s); }  in AbortedException()  method in CR.AbortedException
424                 throw new AbortedException();  in iter_msd()
529                 throw new AbortedException();  in compareTo()
561                 throw new AbortedException();  in signum()
1270           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1313           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1360           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1404           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()
1469           if (Thread.interrupted() || please_stop) throw new AbortedException();  in approximate()