Drop the Debian JDK man directory workaround
As https://github.com/debuerreotype/debuerreotype/issues/10 got closed by merging a workaround, we no longer need ours. If by any chance they decide to revert it, we can simply revert this patch.
As https://github.com/debuerreotype/debuerreotype/issues/10 got closed by merging a workaround, we no longer need ours. If by any chance they decide to revert it, we can simply revert this patch.