shell.properties

# JPF-Demo
# Copyright (C) 2004 - 2005 Dmitry Olshansky
# $Id: boot.properties,v 1.1 2007/03/04 13:00:45 ddimon Exp $

#
# JPF-demo start-up configuration properties
#
# (see API docs for "org.java.plugin.boot" package and documentation and source
# code for "org.jpf.demo.toolbox.core" plug-in)
#
# Available runtime properties are:
#   applicationRoot - application "home" folder
#   all system properties
#
#-------------------------------------------------------------------------------
org.java.plugin.boot.applicationPlugin = org.integratedmodelling.thinklab.shell
# Boot-time integrity check mode (full, light, off)
org.java.plugin.boot.integrityCheckMode = light
org.java.plugin.boot.splashImage = ${applicationRoot}/thinklab.png
#-------------------------------------------------------------------------------
# JPF runtime configuration
org.java.plugin.PathResolver = org.java.plugin.standard.ShadingPathResolver
org.java.plugin.standard.ShadingPathResolver.shadowFolder = ${applicationRoot}/temp/.jpf-shadow
org.java.plugin.standard.ShadingPathResolver.unpackMode = always
org.java.plugin.standard.ShadingPathResolver.excludes = .svn
#-------------------------------------------------------------------------------
# Folder where to store application data and configuration files
org.jpf.demo.toolbox.core.dataFolder = ${user.home}/.thinklab