gsoc2011 (java): miscellaneous fixes

1 files changed, 11 insertions, 7 deletions

diff --git a/user/jkoenig/gsoc2011_proposal.mdwn b/user/jkoenig/gsoc2011_proposal.mdwn
index 92bed1b4..d9617ab5 100644
--- a/user/jkoenig/gsoc2011_proposal.mdwn
+++ b/user/jkoenig/gsoc2011_proposal.mdwn
@@ -14,7 +14,8 @@ Contact information:
 I am a first year M.Sc. student
 in Computer Science at University of Strasbourg (France).
 My interests include capability-based security,
-programming languages and formal methods (in particular, proof-carrying code).
+programming languages and formal methods
+(in particular, object-capability languages and proof-carrying code).
 
 ### Proposal summary
 
@@ -27,8 +28,7 @@ as well as libraries to make translator development easier.
 
 ### Previous involvement
 
-Although I have known the Hurd for some time,
-I did not contribute until last summer,
+I started contributing to Hurd last summer,
 during which I participated to Google Summer of Code
 as a student for the Debian project.
 I worked on porting Debian-Installer to Hurd.
@@ -72,14 +72,16 @@ as the Debian-Installer and procfs projects
 gave me the opportunity to fiddle with many parts of the system.
 
 Initially,
-I started working on this project because I wanted to use Joe-E
+I started working on this project because I wanted to use
+[Joe-E](http://code.google.com/p/joe-e/)
 (a subset of Java)
 to investigate the potential
 [[applications of object-capability languages|objcap]]
 in a Hurd context.
-I also believe that imrpoving Java support on Hurd
+I also believe that improving Java support on Hurd
 would be an important milestone.
 
+
 ## Improve Java support
 
 ### Justification
@@ -87,6 +89,8 @@ would be an important milestone.
 Java is a popular language and platform used by many desktop and web
 applications (mostly on the server side). As a consequence, competitive Java
 support is important for any general-purpose operating system.
+Better Java support would also be a prerequisite
+for the second part of my proposal.
 
 ### Current situation
 
@@ -442,8 +446,8 @@ to design and implement similar solutions for Java.
 
 ### Packaging and long-term maintenance
 
-The Java libraries resulting from this work
-(including any MIG support classes),
+The Java libraries resulting from this work,
+including any MIG support classes
 as well as the class files built from the MIG-generated code
 for the Mach and Hurd interface definition files,
 would be provided as single `hurd-java` package for