source code of Jenkins warning plugin