On Mon, 24 May 2010 18:10:42 +0200, Giovanni Mascellani wrote: > Thanks for the info, I didn't know this. Anyway, it's not entirely clear > to me whom is the responsibility to furnish the jpf.properties. I > noticed that the jpf jarball distributed with the osmosis binary > tarball[1] contains a jpf.properties file, but the Debian one not.
Good catch. Actually the libjpf-java source package contains source/org/java/plugin/standard/jpf.properties. > If so, then the second question is whether it is customary for projects > using JPF to distribute a jpf.properties, or whether they distribute one > only when they need to (and, thus, it's jpf's responsibility to have one > default fallback in order not to emit warning when one is not available). Amd where to put this file. Let's hope Tony has an answer :) Cheers, gregor -- .''`. http://info.comodo.priv.at/ -- GPG key IDs: 0x8649AA06, 0x00F3CFE4 : :' : Debian GNU/Linux user, admin, & developer - http://www.debian.org/ `. `' Member of VIBE!AT & SPI, fellow of Free Software Foundation Europe `- NP: Flying Pickets: The Longest Time
signature.asc
Description: Digital signature
