public void dispose() {
        if (documentView != null) {
            documentView.dispose();
            documentView = null;
        }
        if (documentViewModel != null) {
            documentViewModel.dispose();
            documentViewModel = null;
        }
    }