// exceptions/PreciseRethrow.java
// (c)2021 MindView LLC: see Copyright.txt
// We make no guarantees that this code is fit for any purpose.
// Visit http://OnJava8.com for more book information.

class BaseException extends Exception {}
class DerivedException extends BaseException {}

public class PreciseRethrow {
  void catcher() throws DerivedException {
    try {
      throw new DerivedException();
    } catch(BaseException e) {
      throw e;
    }
  }
}