Method modifiedUser

java/org/apache/catalina/UserDatabase.java:190–190

Signal the specified User from this user database has been modified. @param user The user that has been modified

(User user)

     * @param user The user that has been modified
     */
    default void modifiedUser(User user) {
    }