This is a minimal version of jenkins-indicator@philipphoffmann.de customised for my specific use