Paragraph on Java type safety, started bibliography
Background: removed the word "several" (misleading)
Background: paragraph on Java memory safety
Bacrephrased kground: paragraph on Java memory safety
Background: first two paragraphs of Java sandbox