java style link dead - chapter 2.1.4 in pdf
see https://gitlab.gwdg.de/fe/technical-reference/uploads/62cbfb52a5b8789d6becaf3bc227e0e9/technical-reference.pdfchapter 2.1.4 - chapter 2.1.4
the link for "here" leads to https://gitlab.gwdg.de/fe/technical-reference/uploads/62cbfb52a5b8789d6becaf3bc227e0e9/styles/rdd-eclipse-java-google-style.xml
do we actually need a eclipse config file there?