jenkinsci/customtools-plugin — pull request #5 by oleg-nenashev (2013-07-17 16:57:21+00:00)
Title: Added overrides for all overridable methods of DecoratedLauncher (JENKINS-13285)

Resolves: https://issues.jenkins-ci.org/browse/JENKINS-13285

Signed-off-by: Oleg Nenashev