2
votes
1answer
2k views

What is the command or hotkey for stopping a running program in DrJava?

I installed DrJava about a week ago. Its been working fine so far but I ran into an infinite loop and wanted a way to stop the program from running without having to force DrJava to quit. Is there a ...
0
votes
1answer
461 views

How do I install drjava in linux from terminal?

I've downloaded drjava-stable-20100816-r5366.jar file which is the drjava version for Linux. How do I install it on my machine? I'm running Ubuntu 11.10. I have OpenJDK Java 6 runtime and Sun Java 6 ...