Allow either user or password to be overridden

Current behavior:
* Default user and default password must be specified;
* Overriding both user and password for a given server is allowed;
* Overriding just the password for a given server is allowed;
* Overriding just the user for a given server gives an error.

New behavior:
* Default user and default password no longer needed.
* If a per-server user and/or password is specified, use it
  (otherwise, use the default).
* If the user and/or password is non-empty, throw the exception.
1 file changed
tree: 79c2ff781a8e80207d8f199d52d96cc360f38704
  1. .gitignore
  2. .gitmodules
  3. build.xml
  4. lib/
  5. logging.properties
  6. src/
  7. test/