sourceforge.jpのドメインがosdn.jpに変更されたみたいだからその影響かも