Added -D command line option to pass Java properties to DrJavaRoot (similar to -X)
Authored by: mgricken 2006-09-01
Parent: [r3984]
Child: [r3986]
