/**
 * @test /nodynamiccopyright/
 * @bug 8072480
 * @summary Verify that javac rejects Java 8 program with -platform 7
 * @compile PlatformOption.java
 * @compile/fail/ref=PlatformOption-platform7.out -XDrawDiagnostics -platform 7 PlatformOption.java
 */

interface PlatformOption extends java.util.stream.Stream {
}