/** * Returns the value for a parameter. */ public string get_parameter(String name, @Optional double modifier) { if ("fontname".equals(name)) { PDFFont font = _stream.getFont(); if (font != null) { return(font.getFontName()); } else { return(null); } } else { return(null); } }