The symptoms are deployable class files built at 1.7 which fail at deployment when a 1.7 JRE is not present.

This can be worked around by modifying the default configuration during project creation. After project creation, this can be worked around by changing the project Java Facet and Compiler Compliance Level.

The desired behavior is for the "Default JBoss 7.1 runtime configuration" during project creation to utilize the setting in the configured JBoss 7.1 Server runtime by default.