
--------------------------------
RUNNING A CONSOLE-BASED VERIFIER
--------------------------------

A command like

 java org.apache.bcel.verifier.Verifier fully.qualified.class.Name

lets JustIce work standalone.


If you get a "java.lang.OutOfMemoryError", you should increase the
maximum Java heap space. A command like

 java -Xmx1887436800 org.apache.bcel.verifier.Verifier f.q.c.Name

will usually resolve the problem. The value above is suitable for
big server machines; if your machine starts swapping to disk, try
to lower the value.


---------------------------------
RUNNING A GRAPHICS-BASED VERIFIER
---------------------------------

If you prefer a graphical application, you should use a command like

 java org.apache.bcel.verifier.GraphicalVerifier

to launch one. Again, you may have to resolve a memory issue depending
on the classes to verify.


------------------
CONTACT THE AUTHOR
------------------

If you do something useful with JustIce, I'd like to hear about it!
Enver Haase <ehaase@inf.fu-berlin.de>