df9bb5a637fb6be2657d938a957b4170ede4e440 3615 |
|
03-Jan-2008 |
jvergara |
Fix the broken java properties tool when the user specifies not to overwrite the environment java argument properties.
Include a default java.properties file that includes some information about setting the different java properties. |