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

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

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