Revision 39412
#1437 Fixes management of JAVA_HOME, checks if JRE in gvSIG folder and searches for 32-bit JRE first file provided by jjdelcerro)
Files
- added
- modified
- copied
- renamed
- deleted
Added by Juan Lucas DomÃnguez over 11 years ago
#1437 Fixes management of JAVA_HOME, checks if JRE in gvSIG folder and searches for 32-bit JRE first file provided by jjdelcerro)