https://bugs.openjdk.java.net/browse/JDK-8251559 Please review this trivial fix -- This file has no contents other than #includes, so it should be removed. (no webrev since it's just simple removal) Thanks - Ioi