public String description() { return (String) header.getProperty("description"); }
public String name() { return (String) header.getProperty("name"); }