Does this library work under java 64bit platform or only on 32bit jvm?
Ajax4jsf has been developed on 64bit Linux. So, the answer is yes.