Checks if the given array contains any non-empty options. @param strings an array of strings @exception Exception if there are any non-empty options
(String [] options)
source not stored for this graph (policy: none)