For Fall'23
===========

Build DrJava
---
cd drjava-src
export JAVA8_HOME=/path/to/java8
ant clean
ant jar

Add stylechecker files to jar file
---
cd src
jar uf ../drjava.jar edu/rice/cs/drjava/android/CS1App.xml
jar uf ../drjava.jar edu/rice/cs/drjava/android/checkstyle-10.12.3-all.jar

Setup
---
See CheckStyleReader::init/loadResource:
* currently these methods extract CS1App.xml and checkstyle-xx.jar to CS1APP_ANDROID_AVD_HOME
* in the future consider moving CS1App.xml and checkstyle-xx.jar to software.tmp/drjava