include ../../ide/bin/ide.boot
ide.splash.screen=splash.gif
ide.extension.search.path=sqldeveloper/extensions:jdev/extensions:ide/extensions
ide.product=oracle.sqldeveloper