[e-lang] Joe-E taming error in java.lang.String.taming

[Adrian Mettler]

Tyler Close wrote:
> The current taming file for java.lang.String allows the methods:
> 
> getBytes(java.lang.String)
> getBytes()
> 
> Both of these leak information about the platform and provide access
> to non-determinism. The org.joe_e.charset API should be used instead.
> 
> --Tyler
> 

Good catch.  I should emphasize that the current taming database as 
posted is just a small shade better than meaningless, however; it 
consists of little more than everything from String (which I included 
without looking it over very carefully, primarily to test the 
infrastructure).

I'll make sure to keep this in mind when I do a more careful and 
thorough job of taming java.lang for the safej ("real") version of the 
taming database.

-Adrian