I learnt three things from this thread: default resource bundle handling is weird, String.toLowerCase() is locale-aware unlike Character.toLowerCase(), and lowercase Σ isn't always σ.
Attached bugfix in comment #15 of this thread in regard to: Unhandled event loop exception Not implemented [need SWT compatibility pack from Apple] ...