Unfortunately these two options are getting deleted when the server is started. So after starting the server once I have the problem again. How can it be, that options are recognized but discared during the startup?
Any ideas?
It was a bug that has been fixed in AS7 7.1.2 (https://issues.jboss.org/browse/AS7-4521)