Helfer zur Authentifizierung fuer jdk.httpserver
ulrich
2021-06-19 235e9558ee3a8658e1394101c380debe3e4bd538