Update dependencies and javadoc source reference#827

Merged

LukasPaczos merged 3 commits intomasterfrom

lp-deps-javadoc-source

Jan 30, 2019

Commits on Jan 24, 2019

Commits on Jan 30, 2019

remove obsolete build tools declaration
LukasPaczos
committed