Jenkins plugin: flight recording, ...