ide.conf | sqldeveloper.conf path? |
ide.config_path | sqldeveloper.conf path? |
ide.extension.search.path | |
ide.pref.dir | |
idepref.dir.base | |
ide.startingArg0 | |
ide.startingcwd | |
ide.system.dir | |
ide.user.dir | |
ide.user.dir.var | Default value being SQLDEVELOPER_USER_DIR ? (see also user information directory). |
ide.work.dir | |
ide.work.dir.base | |
java.class.path | |
java.home | |
oracle.ide.startup.features | For example: sqldeveloper |
oracle.jdbc.mapDateToTimestamp | |
oracle.jdbc.Trace | |
oracle.jdbc.useFetchSizeWithLongColumn | |
path.separator | Whose default value seems to be ; |
sqldev.debug | |
sqldeveloper.oci.available | |
tool.user.conf | sqldeveloper.conf path? |
user.conf | Path to product.conf ? |
user.dir | |
user.home | |
user.script | |