JSR-333 updates

Once this is merged, also update http://java.net/jira/browse/JSR_333-59

Done
* Item::revert instead of Item::refresh
* LockInfo timeOutHint versus timeoutHint
* unregisterNamespace => unregisterNamespaceByURI

* NodeInterface
  * getNodeNames
  * getPropertyWithDefault
  * setMixins
  * rename
  * addNodeAutoNamed
  * covered by getPropertyValue($name, $type)
    * getPropertyAs
    * getPropertyAsString
    * getPropertyAsStringArray

* RepositoryManagerInterface (new interface)

* SessionInterface
  * getNode(absPath, depthHint)
  * getProperties

* WorkspaceInterface
  * removeItem

* NodeTypeInterface
  * getSupertypeNames

* EventFilter (new interface)

* ObservatiomManager
  * - addEventLister(eventTypes, absPath, etc...)
  * - getEventJournal(eventTypes, absPath, etc...)
  * + addEventLister(EventFilter)
  * + getEventJournal(EventFilter)