[e-lang] Draft of Joe-E, a Capability-security subset of Java

[Adrian Mettler]

David Wagner and I at UC Berkeley are working on a capability-secure
subset of the Java language named Joe-E.  A working draft specification
of the language is available on our website, http://www.joe-e.org.  An 
implementation in the form of an Eclipse plug-in is in development.

Comments and criticisms are welcome.

--Adrian Mettler
    Graduate Student Researcher
    U.C. Berkeley EECS Department/ERL/TRUST Center