The use of the extra.args property in test-run definitions must be avoided. Its behaviour is confusing: extra.args can only be set for build configurations (e.g. development) as opposed to test configurations (e.g. development_Opt_1). When extra.args is used for a test configuration, the content of the property will be ignored by the respective executions of Jikes RVM during the test run. Moreover, when extra.args is set for a build configuration, its value cannot be changed later.
Therefore, extra.rvm.args must be used instead of extra.args.
It is likely that some errors have been masked because our test-runs were not acting as designed.