[javapackages-tools/jenkins] (11 commits) ...Merge branch 'master' into jenkins

[Michal Srb]

Summary of changes:

  6f22991... Fix TypeError in mvn_artifact (*)
  7cf7997... Replace all dashes with dots in versioned provides and requ (*)
  0eb7485... Port to lua 5.3.0 (*)
  83ac9b3... Add gradle-local subpackage (*)
  baf30e4... Allow conditional builds with tests skipped (*)
  9b05cd0... Workaround for XMvn version bump (rhbz#1191657) (*)
  caae28c... Fix TypeError in maven_depmap (see: rhbz#1191657) (*)
  0680d41... Fix TypeError in maven_depmap (see: rhbz#1191657) (*)
  c4deeb0... bump spec :/ (*)
  06282ff... Write temporary XML file as UTF-8 in pom_editor (*)
  f4e7893... Merge branch 'master' into jenkins

(*) This commit already existed in another branch; no separate mail sent