protected String report(DescriptorException e) { out.println("Error: " + e.getMessage()); // i18n? return "???"; }