Attributed Grammars for Detecting Spring Configuration Errors