Delete DocumentOptions.java