anchor.diff:  +
   [source,java]
   ------------------------------------------------------------------
  -UserAuthRepository auth_repo;
  -auth_repo = (UserAuthRepository) properties.get(SHARED_AUTH_REPO_PROP_KEY);
  +AuthRepository auth_repo;
  +auth_repo = (AuthRepository) properties.get(RepositoryFactory.SHARED_AUTH_REPO_PROP_KEY);
   ------------------------------------------------------------------
  
positive.code: [source,java]
  ------------------------------------------------------------------
  UserRepository user_repo;
  user_repo = (UserRepository) properties.get(SHARED_USER_REPO_PROP_KEY);
  ------------------------------------------------------------------
  - SHARED_USER_REPO_POOL_PROP_KEY is a configuration key for the user repository pool. In most cases the user repository is just an SQL database. To improve the access to the database a connection pool is created which is realised by creating many UserRepository instances connecting to the same database.
  +
  
negative.code: [source,java]
  ------------------------------------------------------------------
  UserRepository user_repo;
  user_repo = (UserRepository) properties.get(RepositoryFactory.SHARED_USER_REPO_POOL_PROP_KEY);
  ------------------------------------------------------------------
  - SHARED_AUTH_REPO_PROP_KEY is a configuration key for the authentication repository. Components normally do not need access to this repository unless they deal with user authentication and authentication data is kept separately from the rest of the user data.
  +
  