Remove non-existant theme-compiler from launch

Change-Id: I0d438ebee1b922a2d6eeae6abb0cd69c16848620
Fix DisabledDateFieldPopup test

Change-Id: I27f43e5bed2a0ebc0f04a1a83c922de42fb1a3c5
Fix header and Javadoc issues

Change-Id: I171067273aedc7248e9c044bea0ebf67155fd7a9
Javadoc added to com.vaadin.ui.Field interface (#13209)

Change-Id: Iad7381e59dfe7a6ea9cb4a633e2c411ebdd1a79d
DevelopmentServletLoader: Reload servlet container

- Add a couple of parameters in order make jetty context
  reload whenever a class is modified.
- Remove deprecated SSL API calls.

Change-Id: I737fb92e78ce5573a4473639f25fcdad606f3c55
Ignore irrelevant header lines in checkstyle configuration

* Ignores the empty lines that may have trailing white-space in the
  license header. This allows formatting of the license header either
	with or without trailing white-space, which differs between different
	versions of Eclipse (as well as between IDEs).

Change-Id: If97d2cfe169accd6d05e44521c9ca5265d715772
Merge master into 7.2

* 9bf0278 - (origin/master, origin/HEAD, master) Ignore irrelevant header lines in checkstyle configuration <Jonatan Kronqvist>
* 0b8545e - DevelopmentServletLoader: Reload servlet container <Manolo Carrasco>
* 66f9563 - Javadoc added to com.vaadin.ui.Field interface (#13209) <Dmitrii Rogozin>
* 27f6503 - Fix header and Javadoc issues <Teemu Suo-Anttila>
* 498df1e - Fix DisabledDateFieldPopup test <Teemu Suo-Anttila>
* 12a96b2 - Remove non-existant theme-compiler from launch <Artur Signell>

Change-Id: I88c77f8e5ddeb53e070dcaf0d06fe142363873b0