# Source: java-common
# Package: default-jdk-doc
# Versions: default-jdk-doc (0.49), default-jdk-doc (0.50), default-jdk-doc (0.51), default-jdk-doc (0.52), default-jdk-doc (0.52.1)
# Prioritize: 45
Description: Standard Java or Java compatible Development Kit (documentation)
 This package points to the documentation for the Java development kit,
 or Java compatible development kit recommended for Debian, which is
 openjdk-7-doc.
Description-el: <trans>
 <trans>

# other Descriptions of the default-jdk-doc package with a translation in el:
#