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

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

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