René's URL Explorer Experiment


Title: Add ability to run test in DrJava in parallel and run test in ant in parallel. by dapanghu · Pull Request #14 · DrJavaAtRice/drjava · GitHub

Open Graph Title: Add ability to run test in DrJava in parallel and run test in ant in parallel. by dapanghu · Pull Request #14 · DrJavaAtRice/drjava

X Title: Add ability to run test in DrJava in parallel and run test in ant in parallel. by dapanghu · Pull Request #14 · DrJavaAtRice/drjava

Description: Add "test in parallel" to the Drop-down menu and tool bar. Now user can choose to run test case in Drjava in sequential like before or in parallel by "test folder in parallel". Changed the build.xml file to enable test DrJava in parallel. Now developer can test DrJava in parallel by adding -DTestParallel=true and can choose number of thread running by -DThreadCount.

Open Graph Description: Add "test in parallel" to the Drop-down menu and tool bar. Now user can choose to run test case in Drjava in sequential like before or in parallel by "test folder in parallel"...

X Description: Add "test in parallel" to the Drop-down menu and tool bar. Now user can choose to run test case in Drjava in sequential like before or in parallel by "test folder in pa...

Opengraph URL: https://github.com/DrJavaAtRice/drjava/pull/14

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:ec864a8c-1110-f3ec-ef6f-34cb2869dabd
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idBF58:2004F6:1431EF4:1B0F415:6969B27C
html-safe-noncec8397179f9ccf6606052543923e5e52a49a8c0badc8517d92ca0c276e7b9804e
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCRjU4OjIwMDRGNjoxNDMxRUY0OjFCMEY0MTU6Njk2OUIyN0MiLCJ2aXNpdG9yX2lkIjoiMzYwNjI3MTMwNjE5NDU5NjQ3NiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac5277713f89589a91e5abc94ed90583281a6ea70a5b93fa0f602918bf681835a0
hovercard-subject-tagpull_request:185920616
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/DrJavaAtRice/drjava/pull/14/files
twitter:imagehttps://avatars.githubusercontent.com/u/18442467?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/18442467?s=400&v=4
og:image:altAdd "test in parallel" to the Drop-down menu and tool bar. Now user can choose to run test case in Drjava in sequential like before or in parallel by "test folder in parallel"...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Noneb23b8fcc855cd29bb04d6c94aafa62d336bf44eefa8229444eecc968cad03aee
turbo-cache-controlno-preview
diff-viewunified
go-importgithub.com/DrJavaAtRice/drjava git https://github.com/DrJavaAtRice/drjava.git
octolytics-dimension-user_id9321066
octolytics-dimension-user_loginDrJavaAtRice
octolytics-dimension-repository_id25469922
octolytics-dimension-repository_nwoDrJavaAtRice/drjava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id25469922
octolytics-dimension-repository_network_root_nwoDrJavaAtRice/drjava
turbo-body-classeslogged-out env-production page-responsive full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release0672399d88424758731ec07fe24509e23bb17fb5
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/DrJavaAtRice/drjava/pull/14/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDrJavaAtRice%2Fdrjava%2Fpull%2F14%2Ffiles
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FDrJavaAtRice%2Fdrjava%2Fpull%2F14%2Ffiles
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=DrJavaAtRice%2Fdrjava
Reloadhttps://github.com/DrJavaAtRice/drjava/pull/14/files
Reloadhttps://github.com/DrJavaAtRice/drjava/pull/14/files
Reloadhttps://github.com/DrJavaAtRice/drjava/pull/14/files
DrJavaAtRice https://github.com/DrJavaAtRice
drjavahttps://github.com/DrJavaAtRice/drjava
Notifications https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Fork 31 https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Star 23 https://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava
Code https://github.com/DrJavaAtRice/drjava
Issues 8 https://github.com/DrJavaAtRice/drjava/issues
Pull requests 3 https://github.com/DrJavaAtRice/drjava/pulls
Actions https://github.com/DrJavaAtRice/drjava/actions
Projects 0 https://github.com/DrJavaAtRice/drjava/projects
Security Uh oh! There was an error while loading. Please reload this page. https://github.com/DrJavaAtRice/drjava/security
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/pull/14/files
Insights https://github.com/DrJavaAtRice/drjava/pulse
Code https://github.com/DrJavaAtRice/drjava
Issues https://github.com/DrJavaAtRice/drjava/issues
Pull requests https://github.com/DrJavaAtRice/drjava/pulls
Actions https://github.com/DrJavaAtRice/drjava/actions
Projects https://github.com/DrJavaAtRice/drjava/projects
Security https://github.com/DrJavaAtRice/drjava/security
Insights https://github.com/DrJavaAtRice/drjava/pulse
Sign up for GitHub https://github.com/signup?return_to=%2FDrJavaAtRice%2Fdrjava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FDrJavaAtRice%2Fdrjava%2Fissues%2Fnew%2Fchoose
dapanghuhttps://github.com/dapanghu
DrJavaAtRice:masterhttps://github.com/DrJavaAtRice/drjava/tree/master
dapanghu:masterhttps://github.com/dapanghu/drjava/tree/master
Conversation 0 https://github.com/DrJavaAtRice/drjava/pull/14
Commits 3 https://github.com/DrJavaAtRice/drjava/pull/14/commits
Checks 0 https://github.com/DrJavaAtRice/drjava/pull/14/checks
Files changed https://github.com/DrJavaAtRice/drjava/pull/14/files
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/pull/14/files
Add ability to run test in DrJava in parallel and run test in ant in parallel. https://github.com/DrJavaAtRice/drjava/pull/14/files#top
Show all changes 3 commits https://github.com/DrJavaAtRice/drjava/pull/14/files
00f916c Enable user to test their project in parallel. Add "test in paral… dapanghu May 3, 2018 https://github.com/DrJavaAtRice/drjava/pull/14/commits/00f916cb57da16826f8191b9ea792f55e40981fc
83cb9fa Enable build.xml to support test in parallel by add argument -DTestP… dapanghu May 3, 2018 https://github.com/DrJavaAtRice/drjava/pull/14/commits/83cb9fa38b9199287c736cfd19dc6b0bc94f8969
7e49f3e Pull most test case from GlobalModelJUnitTest to GlobalModelJunitTe… dapanghu May 4, 2018 https://github.com/DrJavaAtRice/drjava/pull/14/commits/7e49f3e57f65a86e40b0e80b55e16ffcdceba248
Clear filters https://github.com/DrJavaAtRice/drjava/pull/14/files
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/pull/14/files
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/pull/14/files
build.xml https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
CommandLineTest.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-9d521effb6d9ac73f30b84c05b27223096ab51c510bcbdbd01a8707d052ca630
DrJavaTestCase.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-fa201198b41e81556bb073064421d1fcd55f7b36f46c77b8678bb86a45158634
OptionConstants.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
DJError.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
GlobalModelJUnitParallelTest.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-610eaa27dafd8111a91f70adce72261d28086d543807a84177f943306fc6bac7
GlobalModelJUnitTest.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-8986da6298188fbc5f338d2cbcd783eada54d9e5dc9a058323caa52b9487c9c8
GlobalModelJunitTestCase.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-38f2dbdb2e2699bd1214b1011c8e9693ae39a202445ee673531c8a171b9681fd
GlobalModelTestCase.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-ccc1f113150b7199a7e3cfbb74b8623b006bdb1d21158321d8e2fa48fa9e12c8
DefaultJUnitModel.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-610d8a8dc68a10ed3bb8512a58a931350569cb3352f29d5e3b369e093a8c3d90
JUnitErrorModelTest.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-147ab76a2cadd157f83dd5f18ee5174eb27fc31b1218562b0bccc4131c3f05f0
JUnitModel.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-e0cfa3a105638784b2ef8ac892d7b150a74486b106587a02e15bdf07263082f9
JUnitParallelTestManager.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-421d911b6e20e7d34746914d658b4a0d2f3c628e1c627a011673f71cc702e89c
JUnitParallelTestRunner.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-837adbad344e8252a749a8f63fd6bd8fd65e50534dede86e82ef1bd03b6cd52c
JUnitTestManager.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-6bb242c80d1871b6a4083c6281a84f0581aee050f140800555786233e6ab2ddc
JUnitTestRunner.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-78db6d337134992162d1a9d9e1fae0cf2e95953b10bd31f0a081f854c215a65d
MyJUnitCore.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-3bb0a742d8a563819595f47d9f537b2d078564f5f00082356fd253f90feed187
InterpreterJVM.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-0755a2608f16c6a3f8e7602409fb4e0d140d06d9b591fb2659a3d20edbe815ce
InterpreterJVMRemoteI.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f4bced37ca61edf37a2b28ad5daaadeb97a5ae9d6f4401ebc32d4895d76f3f6f
MainJVM.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-490306a77d1336dab1092af008348c0bced7c10c08bd69c150eebf049822d97e
ErrorPanel.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-248c7c323b84739554fd2e18caf01fedc14eb0bfb99849a87172f3033c74f76b
JUnitPanel.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-36585d3d8c712487d5fb39733d701c2faa73d6ff026ae2bcc6562116bbdeae7f
MainFrame.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-b9b7bbb5c0171429316013e6f730dc9ef541b8413ef95e5059ce962115103a2d
CoverageFrame.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-8dc6962186324b64625bd51b3f6e53557adbd58f4bd73304b7dd5335eed42c92
LogTest.java https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-e7687d827225408d31d147fb89d9badc8a6dd98bf385a9b675d75cfcd02f4d71
drjava/build.xmlhttps://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
View file https://github.com/DrJavaAtRice/drjava/blob/7e49f3e57f65a86e40b0e80b55e16ffcdceba248/drjava/build.xml
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/DrJavaAtRice/drjava/pull/14/{{ revealButtonHref }}
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-780a459c495bb3b1b7f86b1c3b57e849c6af031d0e4a6b30e3ccb6d6fcc88f7b
drjava/src/edu/rice/cs/drjava/CommandLineTest.javahttps://github.com/DrJavaAtRice/drjava/pull/14/files#diff-9d521effb6d9ac73f30b84c05b27223096ab51c510bcbdbd01a8707d052ca630
View file https://github.com/DrJavaAtRice/drjava/blob/7e49f3e57f65a86e40b0e80b55e16ffcdceba248/drjava/src/edu/rice/cs/drjava/CommandLineTest.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/DrJavaAtRice/drjava/pull/14/{{ revealButtonHref }}
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-9d521effb6d9ac73f30b84c05b27223096ab51c510bcbdbd01a8707d052ca630
drjava/src/edu/rice/cs/drjava/DrJavaTestCase.javahttps://github.com/DrJavaAtRice/drjava/pull/14/files#diff-fa201198b41e81556bb073064421d1fcd55f7b36f46c77b8678bb86a45158634
View file https://github.com/DrJavaAtRice/drjava/blob/7e49f3e57f65a86e40b0e80b55e16ffcdceba248/drjava/src/edu/rice/cs/drjava/DrJavaTestCase.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/DrJavaAtRice/drjava/pull/14/{{ revealButtonHref }}
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-fa201198b41e81556bb073064421d1fcd55f7b36f46c77b8678bb86a45158634
drjava/src/edu/rice/cs/drjava/config/OptionConstants.javahttps://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
View file https://github.com/DrJavaAtRice/drjava/blob/7e49f3e57f65a86e40b0e80b55e16ffcdceba248/drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/DrJavaAtRice/drjava/pull/14/{{ revealButtonHref }}
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-f82f62ef87d7ff13464361b67ea90fc42090bf52bae7b26103b34183c7f45926
drjava/src/edu/rice/cs/drjava/model/DJError.javahttps://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
View file https://github.com/DrJavaAtRice/drjava/blob/7e49f3e57f65a86e40b0e80b55e16ffcdceba248/drjava/src/edu/rice/cs/drjava/model/DJError.java
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/DrJavaAtRice/drjava/pull/14/{{ revealButtonHref }}
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
https://github.com/DrJavaAtRice/drjava/pull/14/files#diff-cdab57a98ae217d0337d16e37017a983b0367d74b9e4c6d0974cf6ff161f680a
Please reload this pagehttps://github.com/DrJavaAtRice/drjava/pull/14/files
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.