Taming Java Libraries in E vs. Joe-e

Jimmy Wylie <[email protected]>
Newsgroups gmane.comp.lang.e.general
Message-ID <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.