public default CaseSensitivity getCaseSensitivity() {
        return new DefaultEnvironment(this).getCaseSensitivity();
    }
Returns the case sensitivity configuration for Guacamole as defined
in guacamole.properties, or the default of enabling case sensitivity
for both usernames and group names.

@return
    The case sensitivity setting as configured in guacamole.properties,
    or the default of enabling case sensitivity.
guacamole-ext/src/main/java/org/apache/guacamole/environment/Environment.java