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

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

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