Remove obsolete options

Deprecated in Java 8, apparently removed in 9