BTW I've published more detailed description including source code and links to related valuable resources at http://theholyjava.wordpress.com/2012/06/21/creating-custom-login-modules-in-jboss-as-7-and-earlier/