ensure that javadoc and source JARs are built
Merge branch 'dev'