DNS JNDI provider

[Tom Tromey]

>>>>> "Nic" == Nic Ferrier <nferrier@tapsellferrier.co.uk> writes:

Andrew> Perhaps all we should do is produce a special error message
Andrew> from the compiler.

Nic> Nah. We have the same problem with javamail.

Nic> You just have to break compatability. If programmers are sensible
Nic> they will always pick strings names for implementation classes from
Nic> some property file.

Another choice would be to find the code that loads the provider, and
change it:

    if (provider.equals ("com.sun.whatever"))
       provider = "gnu.whatever";

This could be more confusing than worthwhile though.

Tom