chore(microdocs): MXTS-74974: bump core-java + doclet to 4.0.2 (lockstep)

Cut the whole suite at 4.0.2 so ./publish.sh runs clean (4.0.2 is new
everywhere - no 409 on the immutable core-java 4.0.1) and versions are
coherent instead of core 4.0.1 / doclet 4.0.0 / crawler 4.0.2.

Note: crawler-gradle and the doclet still pin microdocs-core-java:3.0.0,
so core-java's 4.x line remains unwired - tracked as a follow-up.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: mxt-mischa

microdocs-core-java/gradle.properties

@@ -1,2 +1,2 @@
 group=com.maxxton
-version=4.0.1
+version=4.0.2

microdocs-crawler-doclet/build.gradle

@@ -17,7 +17,7 @@ dependencies {
 }
 
 group = 'com.maxxton'
-version = '4.0.0'
+version = '4.0.2'
 
 task fatJar(type: Jar) {
   manifest {