Helfer zur Authentifizierung fuer jdk.httpserver
ulrich
2022-01-09 6f74dddb7a2f0f0fc67d07baddc861b620ac15ae