Added Korat Jenkins plugin