<div dir="ltr"><a href="https://ssebuild.cased.de/nightly/soot/javadoc/">https://ssebuild.cased.de/nightly/soot/javadoc/</a><br><div><a href="https://ssebuild.cased.de/nightly/soot/doc/soot_options.htm">https://ssebuild.cased.de/nightly/soot/doc/soot_options.htm</a><br></div><div>These links are bad.</div><div>Please fix.</div></div>