REST API Refactoring

- RestNeedController, RestUserController
Merge branch 'rest-javadoc' into javadoc-merge
Merge branch 'javadoc-merge' into devel-interim
PropertyPathConfigurator

- PropertyPathsConfigurator is not inherited by bots.