All symbols starting with `j' in src/gui-gtk