/**
 * @deprecated This module is empty and therefore deprecated, please use <code>kotlin.stdlib</code> instead.
 */
@SuppressWarnings("module") // suppress warnings about terminal digit and exporting packages to not-yet-built kotlin-stdlib-jdk8
@Deprecated
module kotlin.stdlib.jdk7 {
    requires transitive kotlin.stdlib;
}
