1 #

     2 #

     3 # properties file for java runtime plugin to a browser

     4 #

     5 

     6 # whether to display stdout to a console window (for

     7 # debugging)

     8 plugin.console=false

     9 # the max no. of inactive codebases to keep in cache

    10 plugin.cacheSize=3

    11