Which version of Font Awesome in Vaadin 7.5.9?

Which version of
Font Awesome
comes bundled with Vaadin 7.5.9? (November 2015)
Where is this information available?
Is there a plan to keep Vaadin up-to-date with newer Font Awesome releases?

The latest version from Font Awesome is 4.4.0.

vaadin-themes-7.5.9.jar - VAADIN/themes/base/fonts has:

  • fontawesome-webfont.eot
  • fontawesome-webfont.woff
  • fontawesome-webfont.svg
  • fontawesome-webfont.ttf
  • fonts.scss

NOTE: the source for class FontAwesome.class [com.vaadin.server.FontAwesome]
in vaadin-server-7.5.9.jar says:

[code]
/**

  • FontAwesome set of font icons.
  • Each {@link FontIcon} comes from the FontAwesome font family, which is
  • included in the theme.
  • Consider this a starting point: it is unlikely an application needs exactly
  • these icons, and all of them, so you might want to consider making a custom
  • icon font - either to get other icons, or to minimize the size of the font.
  • The
    Font Awesome version
    currently included is
    4.1.0
    .
  • @since 7.2
  • @author Vaadin Ltd
  • @see http://fortawesome.github.io/Font-Awesome/
    */
    [/code]Answer: Font Awesome Version 4.1.0