Liferay 4.2.3 is so freaking old you may have issues running it under jboss. Under 4.2.3 Liferay still had the CE/EE concept, but I believe CE was for app containers and EE was for j2ee containers.
But again, it has been so long it's hard to remember what version was working on what server.