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

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

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