private static void error(Throwable t) { System.err.println(">> PolicyFile"); t.printStackTrace(System.err);
private static void error(URL base, StreamTokenizer in, String msg) throws IOException { throw new IOException(base+":"+in.lineno()+": "+msg);
    private static void error(Throwable t) {        System.err.println(">> PolicyFile");        t.printStackTrace(System.err);    }