[e-lang] Taming Java Libraries in E vs. Joe-e

[Jimmy Wylie]

Hi all,

I'm working on an undergraduate research project, and decided to try my 
hands at taming sections of the java library.
I read the following:
    http://www.erights.org/elib/legacy/taming.html
and then took a look at the tamed safej libraries in E and then in Joe-e 
to see what's already been done. But surprisingly, I noticed a few 
discrepancies. 

Do E and Joe-e have different goals in mind when taming the libraries? 
It seems like a java library tamed to the capability discipline should 
work for any capability language.  So why are those safej classes not 
simply imported to joe-e and vice versa? The most noticeable discrepancy 
I noticed was that E has parts of awt tamed while Joe-e does not, but 
Joe-e seems to have a few classes that E does not have tamed in its library.

Thanks for your help,
Jimmy Wylie