Javaでassert文を使うためには，実行時の引数として -ea を指定しなければならない．
Java 入門 | アサーション
java コマンドによる実行時にも、フラグで有効にしないと、アサーション行は空行と等価の扱いで無視されます。開発時にはデバッグのために有効にして、本番稼動時には無効にするのが基本的な使い方です。
どう考えても，trueにならないassert文がエラーにならなくて悩んだ．
ドキュメントはちゃんと読みましょうということか．
Eclipseの場合，メニュー -> 実行構成 -> Javaアプリケーション -> (x)=引数 -> VM 引数 に -ea を書いて，実行させる．
