Minor clean-up
authormarkt <markt@13f79535-47bb-0310-9956-ffa450edef68>
Fri, 20 May 2011 16:52:50 +0000 (16:52 +0000)
committermarkt <markt@13f79535-47bb-0310-9956-ffa450edef68>
Fri, 20 May 2011 16:52:50 +0000 (16:52 +0000)
git-svn-id: https://svn.apache.org/repos/asf/tomcat/trunk@1125461 13f79535-47bb-0310-9956-ffa450edef68

java/org/apache/catalina/startup/EngineConfig.java
java/org/apache/catalina/startup/HomesUserDatabase.java

index e764697..8da5af2 100644 (file)
@@ -66,6 +66,7 @@ public class EngineConfig
      *
      * @param event The lifecycle event that has occurred
      */
+    @Override
     public void lifecycleEvent(LifecycleEvent event) {
 
         // Identify the engine we are associated with
index 685e816..ce0758b 100644 (file)
@@ -71,6 +71,7 @@ public final class HomesUserDatabase
     /**
      * Return the UserConfig listener with which we are associated.
      */
+    @Override
     public UserConfig getUserConfig() {
 
         return (this.userConfig);
@@ -83,6 +84,7 @@ public final class HomesUserDatabase
      *
      * @param userConfig The new UserConfig listener
      */
+    @Override
     public void setUserConfig(UserConfig userConfig) {
 
         this.userConfig = userConfig;
@@ -99,6 +101,7 @@ public final class HomesUserDatabase
      *
      * @param user User for which a home directory should be retrieved
      */
+    @Override
     public String getHome(String user) {
 
         return homes.get(user);
@@ -109,6 +112,7 @@ public final class HomesUserDatabase
     /**
      * Return an enumeration of the usernames defined on this server.
      */
+    @Override
     public Enumeration<String> getUsers() {
 
         return (homes.keys());