Question: how to make drjava bigger?
Answer: Click "Font" under "Display Options", change all fonts to double the original size: Press "OK", then close DrJava then open it again. Now the fonts should be big enough to read.