This package provides the Java development kit OpenJDK.

Pax Exam creates OSGi bundles for testing purposes. It lets the user take control of the OSGi framework, the test framework (e.g. JUnit) and the system under test at the same time.

TLA+ is a high-level language for modeling programs and systems---especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

The following TLA+ tools are available in this distribution:

• The Syntactic Analyzer: A parser and syntax checker for TLA+ specifications;

• TLC: A model checker and simulator for a subclass of "executable" TLA+ specifications;

• TLATeX: A program for typesetting TLA+ specifications;

• Beta test versions of 1-3 for the TLA+2 language; and

• The PlusCal translator.

Jar Jar Links is a utility that makes it easy to repackage Java libraries and embed them into your own distribution. Jar Jar Links includes an Ant task that extends the built-in jar task.

This package provides the Java development kit OpenJDK.

ASM is an all purpose Java bytecode manipulation and analysis framework. It can be used to modify existing classes or dynamically generate classes, directly in binary form. The provided common transformations and analysis algorithms allow easily assembling custom complex transformations and code analysis tools.

The Jakarta-ORO Java classes are a set of text-processing Java classes that provide Perl5 compatible regular expressions, AWK-like regular expressions, glob expressions, and utility classes for performing substitutions, splits, filtering filenames, etc. This library is the successor of the OROMatcher, AwkTools, PerlTools, and TextTools libraries originally from ORO, Inc.

OpenJFX is a client application platform for desktop, mobile and embedded systems built on Java. Its goal is to produce a modern, efficient, and fully featured toolkit for developing rich client applications. This package contains graphics-related classes for the OpenJFX distribution.

OSGi, for Open Services Gateway initiative framework, is a module system and service platform for the Java programming language. This package contains a factory for JDBC connection factories. There are 3 preferred connection factories for getting JDBC connections:

• javax.sql.DataSource;

• javax.sql.ConnectionPoolDataSource;

• javax.sql.XADataSource.

ANTLR, ANother Tool for Language Recognition, (formerly PCCTS) is a language tool that provides a framework for constructing recognizers, compilers, and translators from grammatical descriptions containing Java, C#, C++, or Python actions. ANTLR provides excellent support for tree construction, tree walking, and translation.

Javassist (JAVA programming ASSISTant) makes Java bytecode manipulation simple. It is a class library for editing bytecodes in Java; it enables Java programs to define a new class at runtime and to modify a class file when the JVM loads it.

The modello XPP3 plugin generates XML readers and writers based on the XPP3 API (XML Pull Parser).

This package is a plexus component that contains hash function utilities.

Sisu is a modular JSR330-based container that supports classpath scanning, auto-binding, and dynamic auto-wiring. This package adds Plexus support to the Sisu-Inject container.

This package provides the Java development kit OpenJDK.

This package provides the Java development kit OpenJDK.

TreeLayout creates tree layouts for arbitrary trees. It is not restricted to a specific output or format, but can be used for any kind of two dimensional diagram. Examples are Swing based components, SVG files, etc. This is possible because TreeLayout separates the layout of a tree from the actual rendering.

XMLUnit provides you with the tools to verify the XML you emit is the one you want to create. It provides helpers to validate against an XML Schema, assert the values of XPath queries or compare XML documents against expected outcomes.

This package provides the Java development kit OpenJDK built with the IcedTea build harness.

This package provides a library of matcher objects (also known as constraints or predicates) allowing match rules to be defined declaratively, to be used in other frameworks. Typical scenarios include testing frameworks, mocking libraries and UI validation rules.

Xbean-reflect provides very flexible ways to create objects and graphs of objects for dependency injection frameworks

Armed Bear Common Lisp (ABCL) is a full implementation of the Common Lisp language featuring both an interpreter and a compiler, running in the JVM. It supports JSR-223 (Java scripting API): it can be a scripting engine in any Java application. Additionally, it can be used to implement (parts of) the application using Java to Lisp integration APIs.

This package contains annotations used during the build of the runtime library of ANTLR.

Java-cdi-api contains the required APIs for Contexts and Dependency Injection (CDI).