rgrig/papers — comment on commit 52d68dced97602c499e53003adab3d1b2b2d331f
File: safety/code/instrumenter.ml line 649
By rgrig:

Should we not copy (or symbolically link?) non-modified files?
Or are you thinking on relying on CLASSPATH being searched in a certain order and say "CLASSPATH=instrumented_dir:old_dir java MainClass"?