Add required Java version to dev manual doc