Category:JRE extensions

The JRE extensions category contains articles on extensions that depend upon the Java Runtime Environment.