Manpages of src:eclipse-jdt-core in Debian testing