Added JSR-concurrence annotations