[jskeus-commit] Jenkins build is back to normal : jskeus #237

[<je...@js...>]

See <http://jenkins.jsk.imi.i.u-tokyo.ac.jp:8080/job/jskeus/237/changes>