Helfer zur Authentifizierung fuer jdk.httpserver
ulrich
2021-06-15 9aedc9c0c54b7f3971ff025fcd9160b2a22909ee
.. drwxr-xr-x
realm drwxr-xr-x