var spring_deprecated="depr";