properties files

[Tom Tromey]

>>>>> "Michael" == Michael Koch <konqueror@gmx.de> writes:

Michael> After looking into JRE SUN puts the property files into $prefix/lib 
Michael> which is really weird for LSB conformant systems.

Michael> Is everybody happy when we use $prefix/share/java ?

A couple things to consider:

* We're a GNU project; the relevant GNU standards may apply
  ($prefix/share may not be fine, if we expect the file to be
  modified)

* Sometimes it is worthwhile being compatible with the JDK,
  particularly in cases where we know there are install programs that
  "know" where to find these files to modify them.

Tom