debian/changelog

+servlet-api (4.0.1-2) unstable; urgency=medium
+
+  * libservlet-api-java-doc now replaces libservlet3.1-java-doc
+  * Standards-Version updated to 4.3.0
+
+ -- Emmanuel Bourg <ebourg@apache.org>  Tue, 15 Jan 2019 00:46:29 +0100
+
 servlet-api (4.0.1-1) unstable; urgency=medium
 
   * Initial release (Closes: #916354)

debian/control

@@ -10,7 +10,7 @@ Build-Depends:
  libmaven-bundle-plugin-java (>= 3.5.1),
  libmaven-javadoc-plugin-java,
  maven-debian-helper (>= 2.1)
-Standards-Version: 4.2.1
+Standards-Version: 4.3.0
 Vcs-Git: https://salsa.debian.org/java-team/servlet-api.git
 Vcs-Browser: https://salsa.debian.org/java-team/servlet-api
 Homepage: https://javaee.github.io/servlet-spec/
@@ -33,6 +33,8 @@ Architecture: all
 Section: doc
 Depends: ${misc:Depends}
 Recommends: ${maven:DocDepends}, ${maven:DocOptionalDepends}
+Breaks: libservlet3.1-java-doc
+Replaces: libservlet3.1-java-doc
 Provides: libservlet3.1-java-doc
 Description: Java Servlet API (documentation)
  The Servlet API is the Java platform technology of choice for interacting

debian/libservlet-api-java-doc.links

+/usr/share/doc/libservlet-api-java/api    usr/share/doc/libservlet3.1-java/api
+/usr/share/doc/libservlet-api-java/api    usr/share/doc/libservlet3.1-java-doc/api