Tests for aspectj