In Austin I learned from Gregor that the name Demeter/Java violates
the license agreement with SUN for Java. The proper name would be:

DemeterJ or Demeter/J

I guess as long as we don't sell Demeter/Java, they will not come after us.
But they should if they want to protect their trademark.

Should we switch now?

-- Karl