sj3-2.0.1.20 has already been released. In the version one, the bug was fixed. PR: ports/8093 Submitted by: taoka@infonets.hiroshima-u.ac.jp
Submitted by: Hidekazu Kuroki <hidekazu@cs.titech.ac.jp>