Steps to reproduce:
1. Deploy the Alloy or Metal Showcase webapp.
2. Navigate to the commandButton Navigation use case.
3. Click the Ajax checkbox.
4. Right-click the Navigate to param page > button and then click Inspect element.
If the bug still exists, the button element's onclick attribute will not contain mojarra.ab.
If the bug is fixed, the button element's onclick attribute will contain mojarra.ab, and the button will navigate to the Param use case via Ajax (as far as I know, this can only be confirmed by debugging jsf.js in the browser).
Note: The showcase tests do not show that this is failing (false negative), so they should probably be modified as part of this issue.