catch (NumberFormatException ex) { return DEFAULT_FONT_SIZE; } }
  private int mapPixels()  {    int end = value.indexOf("pt");    String number = value.substring(0, end);    int intVal = Integer.parseInt(number);    return intVal;  }