Deletion of Java.lang

Comment: all three articles cited above, or '''redirect''' them per Quarl.  Important within their topic, but already properly covered, per ElAmericano.  
Stance: delete
Cited policy: Wikipedia:What Wikipedia is not (WP:NOT)