; Generated from source/java Makefile.

(setq gud-jdb-directories (list
    "../../../../implementation/source/java/caltool"
    "../../source/java/caltool"
    "../../../../implementation/source/java/caltool/admin"
    "../../source/java/caltool/admin"
    "../../../../implementation/source/java/caltool/admin_ui"
    "../../source/java/caltool/admin_ui"
    "../../../../implementation/source/java/caltool/caldb"
    "../../source/java/caltool/caldb"
    "../../../../implementation/source/java/caltool/caltool_ui"
    "../../source/java/caltool/caltool_ui"
    "../../../../implementation/source/java/caltool/edit"
    "../../source/java/caltool/edit"
    "../../../../implementation/source/java/caltool/edit_ui"
    "../../source/java/caltool/edit_ui"
    "../../../../implementation/source/java/caltool/file"
    "../../source/java/caltool/file"
    "../../../../implementation/source/java/caltool/file_ui"
    "../../source/java/caltool/file_ui"
    "../../../../implementation/source/java/caltool/help"
    "../../source/java/caltool/help"
    "../../../../implementation/source/java/caltool/help_ui"
    "../../source/java/caltool/help_ui"
    "../../../../implementation/source/java/caltool/options"
    "../../source/java/caltool/options"
    "../../../../implementation/source/java/caltool/options_ui"
    "../../source/java/caltool/options_ui"
    "../../../../implementation/source/java/caltool/schedule"
    "../../source/java/caltool/schedule"
    "../../../../implementation/source/java/caltool/schedule_ui"
    "../../source/java/caltool/schedule_ui"
    "../../../../implementation/source/java/caltool/view"
    "../../source/java/caltool/view"
    "../../../../implementation/source/java/caltool/view_ui"
    "../../source/java/caltool/view_ui"
))