Hyperref
Java port (don't mind it, we're handing in the C# version)