Como cambiar el directorio de trabajo de JDeveloper

En el fichero MIDDLEWARE_INSTALL_DIR\jdeveloper\jdev\bin\jdev.boot hay que registrar nuestra carpeta que deseamos utilizar:

#Emmerson - cambiando el home directory para JDeveloper
ide.user.dir=D:/XXX/YYY/JDev111170

A partir de este momento, tanto los ficheros propios de la personalización de Jdev como los del "Servidor Weblogic Integrado" se ubicaran en esta carpeta y dejaremos de utilizar la carpeta "%APPDATA%\jdeveloper".

Nota: Contrariamamente a lo que dicta la documentación el tipo de barras que me ha funcionado en windows 7 correctamente es "/".

Enlaces relacionados:

• 12 Setting the User Home Directory
• Change JDeveloper's system directory (system11.1.1.x.x.xx.xx)
• Change the JDeveloper system directory

- FIN -