// also logs full exception to console
static S formatExceptionForUser(Throwable e) {
  printStackTrace(e);
  S msg = unnull(e.getMessage());
  if (msg.indexOf("Error") < 0 && msg.indexOf("Exception") < 0)
    ret dropPrefix("java.lang.", str(e));
  else
    ret msg;
}