Reload jenkins when java default changes
Reload jenkins when java default changes

When the default version of java changes, we should notify the jenkins
service so that it restarts. If you switch versions and have to also
change the `java_ks` resource below, jenkins will restart, but we should
not rely on having to change both at the same time.

alphagov/govuk-puppet,alphagov/govuk-puppet,alphagov/govuk-puppet,alphagov/govuk-puppet,alphagov/govuk-puppet,alphagov/govuk-puppet