Quelltextformatierung
Change-Id: I51c63959e75af9373625a52b74d1d31f727a67ed
diff --git a/src/main/java/eu/mulk/aendggner/aenderung/Aenderungsbefehl.java b/src/main/java/eu/mulk/aendggner/aenderung/Aenderungsbefehl.java
index 606383f..4117922 100644
--- a/src/main/java/eu/mulk/aendggner/aenderung/Aenderungsbefehl.java
+++ b/src/main/java/eu/mulk/aendggner/aenderung/Aenderungsbefehl.java
@@ -73,9 +73,9 @@
* @param vorher {@code true} bei „Vor …“, {@code false} bei „Nach …“.
* @param bezeichnung die Bezeichnung des neuen Elements (z.B. „28a“, „5a“); {@code null}, wenn
* der Befehl keine nennt (z.B. „folgender Satz“).
- * @param anker bei „Vor den Wörtern „Aus dem Bereich Verkehr:“ wird folgender Absatz 5
- * eingefügt“ der Wortanker, der die Position innerhalb von {@code stelle} bestimmt;
- * {@code null}, wenn die Position wie üblich aus der Struktur folgt.
+ * @param anker bei „Vor den Wörtern „Aus dem Bereich Verkehr:“ wird folgender Absatz 5 eingefügt“
+ * der Wortanker, der die Position innerhalb von {@code stelle} bestimmt; {@code null}, wenn
+ * die Position wie üblich aus der Struktur folgt.
*/
record StrukturEinfuegung(
Stelle stelle,
diff --git a/src/main/java/eu/mulk/aendggner/aenderung/Stelle.java b/src/main/java/eu/mulk/aendggner/aenderung/Stelle.java
index 1c63a5f..69e6837 100644
--- a/src/main/java/eu/mulk/aendggner/aenderung/Stelle.java
+++ b/src/main/java/eu/mulk/aendggner/aenderung/Stelle.java
@@ -29,8 +29,8 @@
Absatzbezeichnung {}
/**
- * „§ 5“, „§ 28a“, im bayerischen Landesrecht „Art. 5“ — die Normnummer ohne Sigel, dazu das
- * Sigel selbst („§“ oder „Art.“).
+ * „§ 5“, „§ 28a“, im bayerischen Landesrecht „Art. 5“ — die Normnummer ohne Sigel, dazu das Sigel
+ * selbst („§“ oder „Art.“).
*/
public record Paragraph(String nummer, String sigel) implements Komponente {
public Paragraph(String nummer) {
diff --git a/src/main/java/eu/mulk/aendggner/aenderung/parse/ZitatExtraktor.java b/src/main/java/eu/mulk/aendggner/aenderung/parse/ZitatExtraktor.java
index d4df176..4b9d511 100644
--- a/src/main/java/eu/mulk/aendggner/aenderung/parse/ZitatExtraktor.java
+++ b/src/main/java/eu/mulk/aendggner/aenderung/parse/ZitatExtraktor.java
@@ -170,8 +170,8 @@
Pattern.compile("^(?:\\d+[a-z]?\\.|[a-z]{1,3}\\))[ \\t]");
/**
- * Wahr, wenn das öffnende Anführungszeichen an Position {@code i} ein Fortführungszeichen ist:
- * Es steht am Zeilenanfang innerhalb eines offenen Zitats und ihm folgt unmittelbar ein
+ * Wahr, wenn das öffnende Anführungszeichen an Position {@code i} ein Fortführungszeichen ist: Es
+ * steht am Zeilenanfang innerhalb eines offenen Zitats und ihm folgt unmittelbar ein
* Aufzählungsmarker.
*/
private static boolean istFortfuehrungszeichen(String text, int i) {
@@ -191,7 +191,8 @@
* Stammgesetze zitieren ihre Normköpfe als „Art. N“, nicht als „Artikel N“ — zitierter Inhalt
* läuft hier also nicht versehentlich auf.
*/
- private static final Pattern ARTIKEL_GRENZE = Pattern.compile("^Artikel[ \\t]+\\d+[a-z]?[ \\t]*$");
+ private static final Pattern ARTIKEL_GRENZE =
+ Pattern.compile("^Artikel[ \\t]+\\d+[a-z]?[ \\t]*$");
/** Wahr, wenn die bei {@code von} beginnende Zeile eine Artikel-Überschrift ist. */
private static boolean beginntArtikelUeberschrift(String text, int von) {
diff --git a/src/main/java/eu/mulk/aendggner/anwendung/BefehlAnwender.java b/src/main/java/eu/mulk/aendggner/anwendung/BefehlAnwender.java
index d8e710c..b8540c5 100644
--- a/src/main/java/eu/mulk/aendggner/anwendung/BefehlAnwender.java
+++ b/src/main/java/eu/mulk/aendggner/anwendung/BefehlAnwender.java
@@ -2,14 +2,14 @@
import eu.mulk.aendggner.aenderung.Aenderungsbefehl;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Anfuegung;
-import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Ebene;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Aufhebung;
+import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Ebene;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Ersetzung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.FussnotenAufhebung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.GliederungsUeberschriften;
-import eu.mulk.aendggner.aenderung.Aenderungsbefehl.SatznummerierungStreichung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Neufassung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Sammelbefehl;
+import eu.mulk.aendggner.aenderung.Aenderungsbefehl.SatznummerierungStreichung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.Streichung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.StrukturEinfuegung;
import eu.mulk.aendggner.aenderung.Aenderungsbefehl.StrukturErsetzung;
@@ -298,7 +298,8 @@
private static List<StrukturErsetzung> ersetzungen(Aenderungsbefehl befehl) {
return switch (befehl) {
case StrukturErsetzung e -> List.of(e);
- case Sammelbefehl s -> s.teilbefehle().stream().flatMap(t -> ersetzungen(t).stream()).toList();
+ case Sammelbefehl s ->
+ s.teilbefehle().stream().flatMap(t -> ersetzungen(t).stream()).toList();
default -> List.of();
};
}
@@ -374,8 +375,7 @@
// Führende Eigenbezeichnung („Abschnitt 2 …“ oder „2. Abschnitt …“) aus dem Zitat entfernen.
var label = Pattern.compile("^(\\d+[a-z]?\\.\\s+\\S+|\\S+\\s+\\d+[a-z]?)\\s+").matcher(titel);
if (label.find()
- && kanonischeBezeichnung(label.group(1))
- .equals(kanonischeBezeichnung(alt.bezeichnung()))) {
+ && kanonischeBezeichnung(label.group(1)).equals(kanonischeBezeichnung(alt.bezeichnung()))) {
titel = titel.substring(label.end()).strip();
} else if (titel.startsWith(alt.bezeichnung())) {
titel = titel.substring(alt.bezeichnung().length()).strip();
@@ -395,7 +395,9 @@
return angewandt(befehl, alt.bezeichnung());
}
- /** „Der bisherige Abschnitt 2 wird zu Abschnitt 3.“ — Bezeichnung der Gliederungseinheit umsetzen. */
+ /**
+ * „Der bisherige Abschnitt 2 wird zu Abschnitt 3.“ — Bezeichnung der Gliederungseinheit umsetzen.
+ */
private static AngewandteAenderung wendeGliederungUmnummerierungAn(
List<Gliederung> gliederungen, Umnummerierung befehl) {
int idx = findeGliederung(gliederungen, befehl.stelle().gliederungsPfad());
@@ -451,12 +453,12 @@
if (idx < 0) {
return manuell(
befehl,
- "Gliederungseinheit nicht gefunden: "
- + pfad.get(pfad.size() - 1).bezeichnung());
+ "Gliederungseinheit nicht gefunden: " + pfad.get(pfad.size() - 1).bezeichnung());
}
indizes.add(idx);
}
- var alte = indizes.stream().map(gliederungen::get).collect(java.util.stream.Collectors.toSet());
+ var alte =
+ indizes.stream().map(gliederungen::get).collect(java.util.stream.Collectors.toSet());
int einfuegePos = java.util.Collections.min(indizes);
indizes.sort(java.util.Comparator.reverseOrder());
for (int idx : indizes) {
@@ -479,7 +481,9 @@
}
var anker = normen.get(aufloesung.normIndex());
int gliederungsPos =
- anker.gliederung() != null ? gliederungen.indexOf(anker.gliederung()) + 1 : gliederungen.size();
+ anker.gliederung() != null
+ ? gliederungen.indexOf(anker.gliederung()) + 1
+ : gliederungen.size();
if (gliederungsPos == 0) {
gliederungsPos = gliederungen.size();
}
@@ -513,7 +517,8 @@
gefunden = -1;
for (int i = 0; i < gliederungen.size(); i++) {
var g = gliederungen.get(i);
- if (kanonischeBezeichnung(g.bezeichnung()).equals(kanonischeBezeichnung(einheit.bezeichnung()))
+ if (kanonischeBezeichnung(g.bezeichnung())
+ .equals(kanonischeBezeichnung(einheit.bezeichnung()))
&& (g.kennzahl() == null || g.kennzahl().startsWith(praefix))) {
gefunden = i;
break;
@@ -542,34 +547,39 @@
normen,
befehl,
ohneFussnoten(
- text -> {
- if (befehl.amEnde()) {
- var gestutzt = text.stripTrailing();
- if (!gestutzt.endsWith(befehl.alt())) {
- return TextErgebnis.fehler("Der Text endet nicht mit „" + befehl.alt() + "“.");
- }
- var rumpf = gestutzt.substring(0, gestutzt.length() - befehl.alt().length());
- // Tritt an die Stelle des Satzzeichens ein Klammerzusatz („Der Punkt am Ende wird
- // durch die Angabe „(Gesellschaftsdialog).“ ersetzt“), gehört davor ein Leerzeichen —
- // so setzt es auch die amtliche Nachfassung.
- var fuge =
- befehl.neu().startsWith("(")
- && !rumpf.isEmpty()
- && Character.isLetterOrDigit(rumpf.charAt(rumpf.length() - 1))
- ? " "
- : "";
- return TextErgebnis.ok(rumpf + fuge + befehl.neu());
- }
- int anzahl = zaehleVorkommen(text, befehl.alt());
- if (anzahl == 0) {
- return TextErgebnis.fehler("„" + befehl.alt() + "“ kommt im Zieltext nicht vor.");
- }
- if (anzahl > 1 && !befehl.jeweils()) {
- return TextErgebnis.fehler(
- "„" + befehl.alt() + "“ kommt " + anzahl + "-mal vor (ohne „jeweils“ mehrdeutig).");
- }
- return TextErgebnis.ok(text.replace(befehl.alt(), befehl.neu()));
- }));
+ text -> {
+ if (befehl.amEnde()) {
+ var gestutzt = text.stripTrailing();
+ if (!gestutzt.endsWith(befehl.alt())) {
+ return TextErgebnis.fehler("Der Text endet nicht mit „" + befehl.alt() + "“.");
+ }
+ var rumpf = gestutzt.substring(0, gestutzt.length() - befehl.alt().length());
+ // Tritt an die Stelle des Satzzeichens ein Klammerzusatz („Der Punkt am Ende wird
+ // durch die Angabe „(Gesellschaftsdialog).“ ersetzt“), gehört davor ein Leerzeichen
+ // —
+ // so setzt es auch die amtliche Nachfassung.
+ var fuge =
+ befehl.neu().startsWith("(")
+ && !rumpf.isEmpty()
+ && Character.isLetterOrDigit(rumpf.charAt(rumpf.length() - 1))
+ ? " "
+ : "";
+ return TextErgebnis.ok(rumpf + fuge + befehl.neu());
+ }
+ int anzahl = zaehleVorkommen(text, befehl.alt());
+ if (anzahl == 0) {
+ return TextErgebnis.fehler("„" + befehl.alt() + "“ kommt im Zieltext nicht vor.");
+ }
+ if (anzahl > 1 && !befehl.jeweils()) {
+ return TextErgebnis.fehler(
+ "„"
+ + befehl.alt()
+ + "“ kommt "
+ + anzahl
+ + "-mal vor (ohne „jeweils“ mehrdeutig).");
+ }
+ return TextErgebnis.ok(text.replace(befehl.alt(), befehl.neu()));
+ }));
}
private static AngewandteAenderung wendeStreichungAn(List<Norm> normen, Streichung befehl) {
@@ -577,19 +587,21 @@
normen,
befehl,
ohneFussnoten(
- text -> {
- int anzahl = zaehleVorkommen(text, befehl.woerter());
- if (anzahl == 0) {
- return TextErgebnis.fehler("„" + befehl.woerter() + "“ kommt im Zieltext nicht vor.");
- }
- if (anzahl > 1) {
- return TextErgebnis.fehler("„" + befehl.woerter() + "“ kommt " + anzahl + "-mal vor.");
- }
- return TextErgebnis.ok(
- text.replace(befehl.woerter(), "")
- .replaceAll(" +", " ")
- .replaceAll(" ([,;.])", "$1"));
- }));
+ text -> {
+ int anzahl = zaehleVorkommen(text, befehl.woerter());
+ if (anzahl == 0) {
+ return TextErgebnis.fehler(
+ "„" + befehl.woerter() + "“ kommt im Zieltext nicht vor.");
+ }
+ if (anzahl > 1) {
+ return TextErgebnis.fehler(
+ "„" + befehl.woerter() + "“ kommt " + anzahl + "-mal vor.");
+ }
+ return TextErgebnis.ok(
+ text.replace(befehl.woerter(), "")
+ .replaceAll(" +", " ")
+ .replaceAll(" ([,;.])", "$1"));
+ }));
}
private static AngewandteAenderung wendeWoerterEinfuegungAn(
@@ -598,50 +610,57 @@
normen,
befehl,
ohneFussnoten(
- text ->
- switch (befehl.anker()) {
- case WortAnker.NachWoertern nach -> {
- var pruefung = eindeutigeFundstelle(text, nach.woerter());
- if (pruefung.fehler() != null) {
- yield TextErgebnis.fehler(pruefung.fehler());
- }
- int ende = pruefung.index() + nach.woerter().length();
- yield TextErgebnis.ok(
- text.substring(0, ende) + fuge(befehl.woerter()) + befehl.woerter()
- + text.substring(ende));
- }
- case WortAnker.VorWoertern vor -> {
- var pruefung = eindeutigeFundstelle(text, vor.woerter());
- if (pruefung.fehler() != null) {
- yield TextErgebnis.fehler(pruefung.fehler());
- }
- yield TextErgebnis.ok(
- text.substring(0, pruefung.index())
- + befehl.woerter()
- + " "
- + text.substring(pruefung.index()));
- }
- case WortAnker.VorKommaAmEnde ignoriert -> {
- var gestutzt = text.stripTrailing();
- if (!gestutzt.endsWith(",")) {
- yield TextErgebnis.fehler("Der Zieltext endet nicht mit einem Komma.");
- }
- yield TextErgebnis.ok(
- gestutzt.substring(0, gestutzt.length() - 1) + " " + befehl.woerter() + ",");
- }
- case WortAnker.AmEnde ignoriert -> {
- var gestutzt = text.stripTrailing();
- if (gestutzt.endsWith(".") || gestutzt.endsWith(",") || gestutzt.endsWith(";")) {
- var satzzeichen = gestutzt.charAt(gestutzt.length() - 1);
- yield TextErgebnis.ok(
- gestutzt.substring(0, gestutzt.length() - 1)
- + " "
- + befehl.woerter()
- + satzzeichen);
- }
- yield TextErgebnis.ok(gestutzt + " " + befehl.woerter());
- }
- }));
+ text ->
+ switch (befehl.anker()) {
+ case WortAnker.NachWoertern nach -> {
+ var pruefung = eindeutigeFundstelle(text, nach.woerter());
+ if (pruefung.fehler() != null) {
+ yield TextErgebnis.fehler(pruefung.fehler());
+ }
+ int ende = pruefung.index() + nach.woerter().length();
+ yield TextErgebnis.ok(
+ text.substring(0, ende)
+ + fuge(befehl.woerter())
+ + befehl.woerter()
+ + text.substring(ende));
+ }
+ case WortAnker.VorWoertern vor -> {
+ var pruefung = eindeutigeFundstelle(text, vor.woerter());
+ if (pruefung.fehler() != null) {
+ yield TextErgebnis.fehler(pruefung.fehler());
+ }
+ yield TextErgebnis.ok(
+ text.substring(0, pruefung.index())
+ + befehl.woerter()
+ + " "
+ + text.substring(pruefung.index()));
+ }
+ case WortAnker.VorKommaAmEnde ignoriert -> {
+ var gestutzt = text.stripTrailing();
+ if (!gestutzt.endsWith(",")) {
+ yield TextErgebnis.fehler("Der Zieltext endet nicht mit einem Komma.");
+ }
+ yield TextErgebnis.ok(
+ gestutzt.substring(0, gestutzt.length() - 1)
+ + " "
+ + befehl.woerter()
+ + ",");
+ }
+ case WortAnker.AmEnde ignoriert -> {
+ var gestutzt = text.stripTrailing();
+ if (gestutzt.endsWith(".")
+ || gestutzt.endsWith(",")
+ || gestutzt.endsWith(";")) {
+ var satzzeichen = gestutzt.charAt(gestutzt.length() - 1);
+ yield TextErgebnis.ok(
+ gestutzt.substring(0, gestutzt.length() - 1)
+ + " "
+ + befehl.woerter()
+ + satzzeichen);
+ }
+ yield TextErgebnis.ok(gestutzt + " " + befehl.woerter());
+ }
+ }));
}
// --- Strukturoperationen -------------------------------------------------------------------
@@ -876,7 +895,8 @@
var text = absatz.text();
var einrueckung = einrueckungVon(text, von);
var ersatz = rueckeZitatEin(normalisiereZitatText(befehl.text()), einrueckung);
- absaetze.set(f1.absatzIndex(), absatz.mitText(text.substring(0, von) + ersatz + text.substring(bis)));
+ absaetze.set(
+ f1.absatzIndex(), absatz.mitText(text.substring(0, von) + ersatz + text.substring(bis)));
normen.set(f1.normIndex(), norm.mitAbsaetzen(absaetze));
return angewandt(befehl, norm.enbez());
}
@@ -911,8 +931,7 @@
yield angewandt(befehl, neue.stream().map(Norm::enbez).toList());
}
- var sigelNeu =
- befehl.stelle().paragraph().map(Stelle.Paragraph::sigel).orElse("§");
+ var sigelNeu = befehl.stelle().paragraph().map(Stelle.Paragraph::sigel).orElse("§");
var enbezNeu = sigelNeu + " " + befehl.bezeichnung();
if (StellenAufloeser.normIndex(gesetzAus(normen), enbezNeu) >= 0) {
yield manuell(befehl, enbezNeu + " existiert bereits im Stammgesetz.");
@@ -1016,7 +1035,10 @@
normalisiereZitatText(befehl.text()), einrueckungVon(text, zeilenAnfang));
return TextErgebnis.ok(
befehl.vorher()
- ? text.substring(0, zeilenAnfang) + block + "\n" + text.substring(zeilenAnfang)
+ ? text.substring(0, zeilenAnfang)
+ + block
+ + "\n"
+ + text.substring(zeilenAnfang)
: text.substring(0, zeilenEnde) + "\n" + block + text.substring(zeilenEnde));
}));
}
@@ -1176,8 +1198,10 @@
var absaetze = new ArrayList<>(norm.absaetze());
int quelleIdx = fundstelle.absatzIndex();
var neueNummer = neuAbsatz.get().nummer();
- // Ein leerer Platzhalter-Absatz mit der Zielnummer (weggefallen/gegenstandslos) wird durch die
- // Umnummerierung überschrieben (analog zur Norm-Umnummerierung auf eine weggefallene Zielnorm).
+ // Ein leerer Platzhalter-Absatz mit der Zielnummer (weggefallen/gegenstandslos) wird durch
+ // die
+ // Umnummerierung überschrieben (analog zur Norm-Umnummerierung auf eine weggefallene
+ // Zielnorm).
for (int i = absaetze.size() - 1; i >= 0; i--) {
if (i != quelleIdx
&& neueNummer.equals(absaetze.get(i).nummer())
@@ -1208,8 +1232,11 @@
.matcher(text.substring(bereich.von(), bereich.bis()));
if (!marke.find()) {
return TextErgebnis.fehler(
- "„" + alteMarke + "“ steht nicht am Anfang von "
- + befehl.stelle().anzeigeText() + ".");
+ "„"
+ + alteMarke
+ + "“ steht nicht am Anfang von "
+ + befehl.stelle().anzeigeText()
+ + ".");
}
var umbenannt =
text.substring(0, bereich.von())
@@ -1235,9 +1262,11 @@
var absaetze = new ArrayList<>(norm.absaetze());
var absatz = absaetze.get(fundstelle.absatzIndex());
var text = absatz.text();
- var marker = Superskript.LAUF.matcher(text).region(fundstelle.bereich().von(), fundstelle.bereich().bis());
- if (marker.lookingAt()
- && Superskript.istSatzanfang(text, marker.start(), marker.end())) {
+ var marker =
+ Superskript.LAUF
+ .matcher(text)
+ .region(fundstelle.bereich().von(), fundstelle.bereich().bis());
+ if (marker.lookingAt() && Superskript.istSatzanfang(text, marker.start(), marker.end())) {
var neuerText =
text.substring(0, marker.start())
+ Superskript.zuSuperskript(neuSatz.nummer())
@@ -1279,7 +1308,9 @@
*/
private static String entferneWeggefallenenPlatzhalter(String text, String marke) {
return text.replaceFirst(
- "(?m)^[ \\t]*" + Pattern.quote(marke) + "[ \\t]+\\((?:weggefallen|gegenstandslos|aufgehoben)\\)\\n?",
+ "(?m)^[ \\t]*"
+ + Pattern.quote(marke)
+ + "[ \\t]+\\((?:weggefallen|gegenstandslos|aufgehoben)\\)\\n?",
"");
}
@@ -1310,8 +1341,7 @@
// Steht genau ein unnummerierter Absatz zwischen nummerierten (bayerische Folge „Dem Wortlaut
// werden … Abs. 1 bis 4 vorangestellt“ → „Der bisherige Wortlaut wird Abs. 5“), erhält nur
// dieser die Nummer. Sind alle Absätze unnummeriert, wird der Gesamtwortlaut zu einem Absatz.
- var unnummerierte =
- norm.absaetze().stream().filter(a -> a.nummer() == null).toList();
+ var unnummerierte = norm.absaetze().stream().filter(a -> a.nummer() == null).toList();
if (unnummerierte.size() == 1 && norm.absaetze().size() > 1) {
var absaetze = new ArrayList<>(norm.absaetze());
int idx = absaetze.indexOf(unnummerierte.get(0));
@@ -1427,11 +1457,7 @@
if (!fehlend.isEmpty()) {
return manuell(
befehl,
- "Fußnote "
- + String.join(", ", fehlend)
- + " kommt in "
- + norm.enbez()
- + " nicht vor.");
+ "Fußnote " + String.join(", ", fehlend) + " kommt in " + norm.enbez() + " nicht vor.");
}
normen.set(aufloesung.normIndex(), norm.mitAbsaetzen(absaetze));
return angewandt(befehl, norm.enbez());
@@ -1475,7 +1501,11 @@
betroffene.addAll(ergebnis.betroffeneEnbez());
if (ergebnis.status() != Status.ANGEWANDT) {
meldungen[index] =
- "Teil " + (index + 1) + " (" + teil.stelle().anzeigeText() + "): "
+ "Teil "
+ + (index + 1)
+ + " ("
+ + teil.stelle().anzeigeText()
+ + "): "
+ ergebnis.begruendung();
}
}
@@ -1742,7 +1772,8 @@
/**
* Zerlegt einen Zitatblock mehrerer Paragraphen an den §-Überschriften (nicht an Querverweisen)
- * und parst jeden Abschnitt zu einer {@link Norm}. Die Gliederung wird von der Vorlage übernommen.
+ * und parst jeden Abschnitt zu einer {@link Norm}. Die Gliederung wird von der Vorlage
+ * übernommen.
*/
private static List<Norm> parseNormenBlock(String block, @Nullable Gliederung gliederung) {
var normen = new ArrayList<Norm>();
@@ -1868,10 +1899,10 @@
}
/**
- * Rückt die kanonischen Zitatzeilen auf die Ziel-Einrückung um: Aufzählungszeilen (und die
- * erste Zeile) auf {@code einrueckung}, Fortsetzungszeilen — etwa der Definitionstext unter
- * einer Kurzüberschrift — zwei Zeichen tiefer, damit sie Kindzeilen der Einheit bleiben
- * (dieselbe Form, die der ContentFlattener aus dem Stammgesetz-XML erzeugt).
+ * Rückt die kanonischen Zitatzeilen auf die Ziel-Einrückung um: Aufzählungszeilen (und die erste
+ * Zeile) auf {@code einrueckung}, Fortsetzungszeilen — etwa der Definitionstext unter einer
+ * Kurzüberschrift — zwei Zeichen tiefer, damit sie Kindzeilen der Einheit bleiben (dieselbe Form,
+ * die der ContentFlattener aus dem Stammgesetz-XML erzeugt).
*/
private static String rueckeZitatEin(String zitat, String einrueckung) {
var sb = new StringBuilder();
diff --git a/src/main/java/eu/mulk/aendggner/anwendung/InhaltsuebersichtAnwender.java b/src/main/java/eu/mulk/aendggner/anwendung/InhaltsuebersichtAnwender.java
index e9f84b6..acd42d7 100644
--- a/src/main/java/eu/mulk/aendggner/anwendung/InhaltsuebersichtAnwender.java
+++ b/src/main/java/eu/mulk/aendggner/anwendung/InhaltsuebersichtAnwender.java
@@ -74,12 +74,13 @@
/** Die adressierte Angabe: die §-/Gliederungs-Komponenten hinter der Inhaltsübersichts-Marke. */
private static List<Stelle.Komponente> zielKette(Stelle stelle) {
return stelle.komponenten().stream()
- .filter(
- k -> k instanceof Stelle.Paragraph || k instanceof Stelle.Gliederungseinheit)
+ .filter(k -> k instanceof Stelle.Paragraph || k instanceof Stelle.Gliederungseinheit)
.toList();
}
- /** Ersetzt die Zeilen von {@code von} bis {@code bis} durch die Angaben des Zitats (oder nichts). */
+ /**
+ * Ersetzt die Zeilen von {@code von} bis {@code bis} durch die Angaben des Zitats (oder nichts).
+ */
private static AngewandteAenderung ersetzeZeilen(
List<Norm> normen,
Aenderungsbefehl befehl,
@@ -139,8 +140,7 @@
// --- Zeilenmodell ----------------------------------------------------------------------------
- private record Zeilenfund(
- int absatzIndex, int vonZeile, int bisZeile, @Nullable String fehler) {
+ private record Zeilenfund(int absatzIndex, int vonZeile, int bisZeile, @Nullable String fehler) {
static Zeilenfund fehlgeschlagen(String begruendung) {
return new Zeilenfund(-1, -1, -1, begruendung);
}
@@ -148,8 +148,8 @@
/**
* Findet die (norm-weit eindeutige) Zeile der adressierten Angabe. Die Kette wird verschachtelt
- * aufgelöst: „Teil 2 Abschnitt 4“ sucht die Abschnitt-Zeile erst hinter der Teil-2-Zeile (und
- * vor dem nächsten Teil), sodass gleichnamige Abschnitte anderer Teile nicht stören.
+ * aufgelöst: „Teil 2 Abschnitt 4“ sucht die Abschnitt-Zeile erst hinter der Teil-2-Zeile (und vor
+ * dem nächsten Teil), sodass gleichnamige Abschnitte anderer Teile nicht stören.
*/
private static Zeilenfund findeZeile(Norm norm, List<Stelle.Komponente> kette) {
var ziel = kette.get(kette.size() - 1);
diff --git a/src/main/java/eu/mulk/aendggner/anwendung/SatzTeiler.java b/src/main/java/eu/mulk/aendggner/anwendung/SatzTeiler.java
index b457cf2..3360bc6 100644
--- a/src/main/java/eu/mulk/aendggner/anwendung/SatzTeiler.java
+++ b/src/main/java/eu/mulk/aendggner/anwendung/SatzTeiler.java
@@ -11,8 +11,8 @@
* Zerlegt einen Absatztext in Sätze im Rechtssinne, mit einer Stoppliste für juristische
* Abkürzungen und Datumsangaben („Abs.“, „31. März 2021“).
*
- * <p>Trägt der Text amtliche Satznummern als Unicode-Superskripte (bayerisches Landesrecht,
- * „¹Die freilebende Tierwelt …“), wird exakt an diesen geteilt statt heuristisch.
+ * <p>Trägt der Text amtliche Satznummern als Unicode-Superskripte (bayerisches Landesrecht, „¹Die
+ * freilebende Tierwelt …“), wird exakt an diesen geteilt statt heuristisch.
*/
public final class SatzTeiler {
@@ -182,8 +182,8 @@
/**
* Punkt einer Aufzählungsmarke am Zeilenanfang („… folgende Aufgaben ⏎ 1. Erlaß von Satzungen
* …“). Er beendet keinen Satz: die Glieder einer Aufzählung gehören zum tragenden Satz. Die
- * Beschränkung auf den Zeilenanfang unterscheidet die Marke von einer Zahl am Satzende („… beträgt
- * 30. Die Frist …“).
+ * Beschränkung auf den Zeilenanfang unterscheidet die Marke von einer Zahl am Satzende („…
+ * beträgt 30. Die Frist …“).
*/
private static boolean istAufzaehlungsMarke(String text, int punktPosition) {
var wort = wortVor(text, punktPosition);
diff --git a/src/main/java/eu/mulk/aendggner/anwendung/StellenAufloeser.java b/src/main/java/eu/mulk/aendggner/anwendung/StellenAufloeser.java
index dd8409e..ff77279 100644
--- a/src/main/java/eu/mulk/aendggner/anwendung/StellenAufloeser.java
+++ b/src/main/java/eu/mulk/aendggner/anwendung/StellenAufloeser.java
@@ -164,7 +164,9 @@
}
bereich =
zeilenBlock(
- text, labelRegex, bereich != null ? bereich : new SatzTeiler.SatzBereich(0, text.length()));
+ text,
+ labelRegex,
+ bereich != null ? bereich : new SatzTeiler.SatzBereich(0, text.length()));
if (bereich == null) {
return null;
}
diff --git a/src/main/java/eu/mulk/aendggner/gesetz/Gliederung.java b/src/main/java/eu/mulk/aendggner/gesetz/Gliederung.java
index 7a09093..00106d2 100644
--- a/src/main/java/eu/mulk/aendggner/gesetz/Gliederung.java
+++ b/src/main/java/eu/mulk/aendggner/gesetz/Gliederung.java
@@ -6,8 +6,8 @@
* Eine Gliederungseinheit (z.B. „Teil 2 — Anforderungen an zu errichtende Gebäude“ oder „2.
* Abschnitt — Koordinierung und Früherkennung“).
*
- * @param kennzahl die hierarchie-kodierende Gliederungskennzahl aus dem gii-XML (z.B. {@code 020020}
- * für Abschnitt 2 in Teil 2); {@code null} bei anderweitig konstruierten Einheiten.
+ * @param kennzahl die hierarchie-kodierende Gliederungskennzahl aus dem gii-XML (z.B. {@code
+ * 020020} für Abschnitt 2 in Teil 2); {@code null} bei anderweitig konstruierten Einheiten.
* @param bezeichnung die relative Bezeichnung („Teil 2“, „Abschnitt 2“).
* @param titel die Überschrift der Einheit ({@code null} bei titellosen Einheiten).
*/
diff --git a/src/main/java/eu/mulk/aendggner/gesetz/Superskript.java b/src/main/java/eu/mulk/aendggner/gesetz/Superskript.java
index 733c1f7..4ba8304 100644
--- a/src/main/java/eu/mulk/aendggner/gesetz/Superskript.java
+++ b/src/main/java/eu/mulk/aendggner/gesetz/Superskript.java
@@ -46,9 +46,9 @@
}
/**
- * Wahr, wenn {@code text} mindestens eine amtliche Satznummer am Satzanfang trägt. Dient dazu, die
- * Schreibweise eines Stammgesetzes zu erkennen (Landesrecht mit amtlicher Satzzählung behält seine
- * Superskripte, Bundesrecht ohne solche verwirft sie).
+ * Wahr, wenn {@code text} mindestens eine amtliche Satznummer am Satzanfang trägt. Dient dazu,
+ * die Schreibweise eines Stammgesetzes zu erkennen (Landesrecht mit amtlicher Satzzählung behält
+ * seine Superskripte, Bundesrecht ohne solche verwirft sie).
*/
public static boolean traegtSatznummern(String text) {
var m = LAUF.matcher(text);
diff --git a/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtLoader.java b/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtLoader.java
index ecb10f8..c64ca21 100644
--- a/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtLoader.java
+++ b/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtLoader.java
@@ -6,17 +6,17 @@
import eu.mulk.aendggner.gesetz.Gesetz;
import java.io.IOException;
import java.nio.charset.StandardCharsets;
-import java.text.Normalizer;
import java.nio.file.Files;
import java.nio.file.Path;
+import java.text.Normalizer;
import org.apache.tika.Tika;
import org.jboss.logging.Logger;
/**
* Liest ein Stammgesetz des Landesrechts aus der konsolidierten Fassung — als PDF oder als
* kanonischer Klartext. Deckt bayerisches Landesrecht (Gliederung in {@code Art.}, amtliche
- * Satznummern) ebenso ab wie die {@code §}-gegliederten Gesetze der übrigen Länder; das Sigel
- * folgt je Norm aus dem Text (siehe {@link LandesRechtTextParser}).
+ * Satznummern) ebenso ab wie die {@code §}-gegliederten Gesetze der übrigen Länder; das Sigel folgt
+ * je Norm aus dem Text (siehe {@link LandesRechtTextParser}).
*
* <p>PDFs durchlaufen dieselbe Aufbereitung wie Änderungsgesetze (Fontgrößen-Filter mit
* Superskript-Erhalt, Textbereinigung); der bereinigte Lineartext ist zugleich das dokumentierte
@@ -56,7 +56,7 @@
/**
* Stellt einen vom Zeilen-Reflow an das Satzende der Vornorm geklebten Normkopf („… verlangen.
- * Art. 17 Jagderlaubnis“) wieder auf eine eigene Zeile. Das doppelte Leerzeichen zwischen
+ * Art. 17 Jagderlaubnis“) wieder auf eine eigene Zeile. Das doppelte Leerzeichen zwischen
* Norm-Nummer und Titel unterscheidet den Normkopf von gewöhnlichen Querverweisen.
*/
private static String nachSatzendeGetrennteNormkoepfe(String text) {
diff --git a/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtTextParser.java b/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtTextParser.java
index 6c58c49..a256243 100644
--- a/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtTextParser.java
+++ b/src/main/java/eu/mulk/aendggner/gesetz/land/LandesRechtTextParser.java
@@ -57,20 +57,22 @@
// nachgestelltem Schlüsselwort („I. Abschnitt“, Muster GLIEDERUNG). Der Titel steht — nach der
// kanonischen Aufbereitung — mit doppeltem Leerzeichen auf derselben Zeile.
private static final Pattern GLIEDERUNG_ARABISCH =
- Pattern.compile("^(Buch|Teil|Kapitel|Abschnitt|Unterabschnitt|Titel) (\\d+[a-z]?)\\s+(\\S.*)$");
+ Pattern.compile(
+ "^(Buch|Teil|Kapitel|Abschnitt|Unterabschnitt|Titel) (\\d+[a-z]?)\\s+(\\S.*)$");
// Römische Gliederung ohne Schlüsselwort („I. Rechtsform und Aufgaben“, NRW). Sie ist nur an der
// Stellung erkennbar, deshalb gilt dieselbe Absicherung wie für UNTER_GLIEDERUNG: kurzer,
// großgeschriebener, satzzeichenfreier Titel und ein Normkopf oder eine weitere Überschrift als
// nächste nicht-leere Zeile.
- private static final Pattern GLIEDERUNG_ROEMISCH = Pattern.compile("^([IVXLCDM]+)\\.\\s+(\\S.*)$");
+ private static final Pattern GLIEDERUNG_ROEMISCH =
+ Pattern.compile("^([IVXLCDM]+)\\.\\s+(\\S.*)$");
private static final Pattern UNTER_GLIEDERUNG = Pattern.compile("^(\\d+[a-z]?)\\.\\s+(\\S.*)$");
/**
* Die Inhaltsübersicht ist eine Norm ohne Sigel; Angabe-Befehle adressieren sie unter genau
- * diesem Namen (siehe {@code InhaltsuebersichtAnwender}). Ihre Zeilen tragen das
- * Übersichtsformat „§ N | Titel“.
+ * diesem Namen (siehe {@code InhaltsuebersichtAnwender}). Ihre Zeilen tragen das Übersichtsformat
+ * „§ N | Titel“.
*/
private static final String INHALTSUEBERSICHT = "Inhaltsübersicht";
@@ -81,12 +83,14 @@
Pattern.compile(
"^(§|Art\\.)\\s+(\\d+[a-z]?)\\s+"
// Querverweis-Schlüsselwörter nur als ganzes Wort ausschließen: „§ 4 Satz 2“ ist ein
- // Verweis, „§ 4 Satzungen“ dagegen ein Normtitel. Der Schutz „(?![a-zäöüß])“ verhindert,
+ // Verweis, „§ 4 Satzungen“ dagegen ein Normtitel. Der Schutz „(?![a-zäöüß])“
+ // verhindert,
// dass „Satz“ auch „Satzungen“, „Nummer“ auch „Nummerierung“ trifft.
+ "(?!(?:Absatz|Abs\\.|Satz|Sätze|Nummer|Nr\\.|Buchstabe|Buchst\\."
+ "|und|bis|oder|sowie|des|der|dieses)(?![a-zäöüß]))"
// Der Titel endet nicht auf einen Punkt: ein Normkopf trägt eine Überschrift, keinen
- // ganzen Satz. So wird ein am Zeilenanfang stehender Querverweis-Satz (㤠7 GAPInVeKoSG
+ // ganzen Satz. So wird ein am Zeilenanfang stehender Querverweis-Satz (㤠7
+ // GAPInVeKoSG
// findet entsprechend Anwendung.“) nicht fälschlich als Normkopf „§ 7“ gelesen.
+ "((?:\\p{Lu}|\\().*[^.])\\s*$");
@@ -210,8 +214,7 @@
gliederungsZaehler++;
elternKennzahl = String.format("%03d", gliederungsZaehler);
aktuelleGliederung =
- new Gliederung(
- elternKennzahl, roemisch.group(1) + ".", roemisch.group(2).strip());
+ new Gliederung(elternKennzahl, roemisch.group(1) + ".", roemisch.group(2).strip());
gliederungen.add(aktuelleGliederung);
} else {
var kennzahl =
@@ -278,8 +281,8 @@
}
/**
- * Ein Normkopf eröffnet nur dann eine neue Norm, wenn seine Nummer hinter der letzten liegt —
- * das fängt Querverweise ab, die die Negativliste nicht ausschließt.
+ * Ein Normkopf eröffnet nur dann eine neue Norm, wenn seine Nummer hinter der letzten liegt — das
+ * fängt Querverweise ab, die die Negativliste nicht ausschließt.
*/
private static boolean istNeuerNormKopf(String nummer, int letzteNormNummer) {
return numerisch(nummer) >= letzteNormNummer;
@@ -315,10 +318,7 @@
}
private static Norm baueNorm(
- String enbez,
- @Nullable String titel,
- @Nullable Gliederung gliederung,
- List<String> zeilen) {
+ String enbez, @Nullable String titel, @Nullable Gliederung gliederung, List<String> zeilen) {
boolean weggefallen = titel != null && WEGGEFALLEN_TITEL.matcher(titel).matches();
var absaetze = new ArrayList<Absatz>();
diff --git a/src/main/java/eu/mulk/aendggner/synopse/SynopseBuilder.java b/src/main/java/eu/mulk/aendggner/synopse/SynopseBuilder.java
index 1568aa9..ce4f1a1 100644
--- a/src/main/java/eu/mulk/aendggner/synopse/SynopseBuilder.java
+++ b/src/main/java/eu/mulk/aendggner/synopse/SynopseBuilder.java
@@ -50,13 +50,13 @@
var manuell =
anwendung.protokoll().stream().filter(a -> a.status() == Status.MANUELL_PRUEFEN).toList();
- return new Synopse(alt, neu, eintraege, gliederungsAenderungen(alt, neu), manuell, parseWarnungen);
+ return new Synopse(
+ alt, neu, eintraege, gliederungsAenderungen(alt, neu), manuell, parseWarnungen);
}
/**
- * Paart die Gliederungseinheiten nach Kennzahl und sammelt die mit geänderter Überschrift.
- * Neu eingefügte Einheiten (ohne Kennzahl und ohne Alt-Pendant) erscheinen mit {@code alt ==
- * null}.
+ * Paart die Gliederungseinheiten nach Kennzahl und sammelt die mit geänderter Überschrift. Neu
+ * eingefügte Einheiten (ohne Kennzahl und ohne Alt-Pendant) erscheinen mit {@code alt == null}.
*/
private static List<Synopse.GliederungsAenderung> gliederungsAenderungen(Gesetz alt, Gesetz neu) {
var aenderungen = new ArrayList<Synopse.GliederungsAenderung>();
diff --git a/src/main/java/eu/mulk/aendggner/web/Multipart.java b/src/main/java/eu/mulk/aendggner/web/Multipart.java
index 3e5a059..745443b 100644
--- a/src/main/java/eu/mulk/aendggner/web/Multipart.java
+++ b/src/main/java/eu/mulk/aendggner/web/Multipart.java
@@ -17,7 +17,8 @@
private static final Pattern BOUNDARY_PATTERN = Pattern.compile("boundary=\"?([^\";]+)\"?");
private static final Pattern NAME_PATTERN = Pattern.compile("name=\"([^\"]*)\"");
private static final Pattern FILENAME_PATTERN = Pattern.compile("filename=\"([^\"]*)\"");
- private static final byte[] HEADER_BODY_SEPARATOR = "\r\n\r\n".getBytes(StandardCharsets.ISO_8859_1);
+ private static final byte[] HEADER_BODY_SEPARATOR =
+ "\r\n\r\n".getBytes(StandardCharsets.ISO_8859_1);
private Multipart() {}
@@ -33,7 +34,9 @@
var delimiter = ("--" + boundary).getBytes(StandardCharsets.ISO_8859_1);
var positions = new ArrayList<Integer>();
- for (int i = indexOf(body, delimiter, 0); i >= 0; i = indexOf(body, delimiter, i + delimiter.length)) {
+ for (int i = indexOf(body, delimiter, 0);
+ i >= 0;
+ i = indexOf(body, delimiter, i + delimiter.length)) {
positions.add(i);
}
diff --git a/src/main/java/eu/mulk/aendggner/web/StaticHandler.java b/src/main/java/eu/mulk/aendggner/web/StaticHandler.java
index 8cdf6e5..24a6e41 100644
--- a/src/main/java/eu/mulk/aendggner/web/StaticHandler.java
+++ b/src/main/java/eu/mulk/aendggner/web/StaticHandler.java
@@ -7,7 +7,10 @@
import java.io.UncheckedIOException;
import java.nio.charset.StandardCharsets;
-/** Liefert eine einzelne, beim Start einmal geladene statische Ressource aus (Formular, Impressum, CSS, …). */
+/**
+ * Liefert eine einzelne, beim Start einmal geladene statische Ressource aus (Formular, Impressum,
+ * CSS, …).
+ */
final class StaticHandler implements HttpHandler {
private final byte[] content;
@@ -48,7 +51,8 @@
}
}
- private static void sendText(HttpExchange exchange, int status, String message) throws IOException {
+ private static void sendText(HttpExchange exchange, int status, String message)
+ throws IOException {
var body = message.getBytes(StandardCharsets.UTF_8);
exchange.getResponseHeaders().set("Content-Type", "text/plain; charset=utf-8");
exchange.sendResponseHeaders(status, body.length);
diff --git a/src/main/java/eu/mulk/aendggner/web/UploadHandler.java b/src/main/java/eu/mulk/aendggner/web/UploadHandler.java
index 8765ac3..efcb512 100644
--- a/src/main/java/eu/mulk/aendggner/web/UploadHandler.java
+++ b/src/main/java/eu/mulk/aendggner/web/UploadHandler.java
@@ -21,19 +21,20 @@
import java.util.concurrent.TimeoutException;
/**
- * {@code POST /synopse} — nimmt Stammgesetz- und Änderungsgesetz-Datei(en) per
- * {@code multipart/form-data} entgegen, ruft {@link Pipeline#erzeugeSynopse} auf und liefert das
- * erzeugte HTML zurück.
+ * {@code POST /synopse} — nimmt Stammgesetz- und Änderungsgesetz-Datei(en) per {@code
+ * multipart/form-data} entgegen, ruft {@link Pipeline#erzeugeSynopse} auf und liefert das erzeugte
+ * HTML zurück.
*
- * <p>Hochgeladene Dateien landen ausschließlich als temporäre Dateien für die Dauer der Anfrage
- * und werden danach in jedem Fall gelöscht — es wird nichts dauerhaft gespeichert. Die eigentliche
+ * <p>Hochgeladene Dateien landen ausschließlich als temporäre Dateien für die Dauer der Anfrage und
+ * werden danach in jedem Fall gelöscht — es wird nichts dauerhaft gespeichert. Die eigentliche
* Verarbeitung läuft auf einem auf die Kernzahl begrenzten Thread-Pool mit fester Warteschlange;
* bei Überlast wird sofort mit {@code 503} abgelehnt, statt unbegrenzt Arbeit anzunehmen.
*/
final class UploadHandler implements HttpHandler {
private static final long MAX_PART_BYTES = 15L * 1024 * 1024; // 15 MB je Datei
- private static final long MAX_BODY_BYTES = 40L * 1024 * 1024; // Sicherheitsnetz für die gesamte Anfrage
+ private static final long MAX_BODY_BYTES =
+ 40L * 1024 * 1024; // Sicherheitsnetz für die gesamte Anfrage
private static final long TIMEOUT_SECONDS = 30;
private final ExecutorService pipelinePool;
@@ -77,7 +78,8 @@
try {
Files.deleteIfExists(path);
} catch (IOException ignored) {
- // Aufräumen ist best effort; ein verwaistes Temp-File blockiert die Antwort nicht.
+ // Aufräumen ist best effort; ein verwaistes Temp-File blockiert die Antwort
+ // nicht.
}
});
} catch (IOException ignored) {
@@ -169,7 +171,8 @@
var future = pipelinePool.submit(job);
ergebnis = future.get(TIMEOUT_SECONDS, TimeUnit.SECONDS);
} catch (RejectedExecutionException e) {
- sendText(exchange, 503, "Der Dienst ist gerade ausgelastet. Bitte in Kürze erneut versuchen.");
+ sendText(
+ exchange, 503, "Der Dienst ist gerade ausgelastet. Bitte in Kürze erneut versuchen.");
return;
} catch (TimeoutException e) {
sendText(exchange, 504, "Die Verarbeitung hat zu lange gedauert und wurde abgebrochen.");
@@ -215,7 +218,8 @@
return filename.replaceAll("[^A-Za-z0-9._-]", "_");
}
- private static void sendText(HttpExchange exchange, int status, String message) throws IOException {
+ private static void sendText(HttpExchange exchange, int status, String message)
+ throws IOException {
var body = message.getBytes(StandardCharsets.UTF_8);
exchange.getResponseHeaders().set("Content-Type", "text/plain; charset=utf-8");
exchange.sendResponseHeaders(status, body.length);
diff --git a/src/main/java/eu/mulk/aendggner/web/WebMain.java b/src/main/java/eu/mulk/aendggner/web/WebMain.java
index 9d71558..815f0db 100644
--- a/src/main/java/eu/mulk/aendggner/web/WebMain.java
+++ b/src/main/java/eu/mulk/aendggner/web/WebMain.java
@@ -34,7 +34,8 @@
"/datenschutz",
new StaticHandler("/eu/mulk/aendggner/web/datenschutz.html", "text/html; charset=utf-8"));
server.createContext(
- "/style.css", new StaticHandler("/eu/mulk/aendggner/web/style.css", "text/css; charset=utf-8"));
+ "/style.css",
+ new StaticHandler("/eu/mulk/aendggner/web/style.css", "text/css; charset=utf-8"));
server.createContext("/synopse", new UploadHandler());
server.start();