: Package org.w3c.jigadmin

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

## Package org.w3c.jigadmin

Class Summary
Main | a place holder for running the administration tool
PropertyManager | The PropertyManager
RemoteResourceWrapper | This class is a wrapper for RemoteResource, used to store the resource tree.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES