===
  
  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.esc/Javafe/trunk/Javafe/java/javafe

  Project name: JavaFE
  Description: Java frontend which parses Java 1.5 bytecode and Java 1.4 source code.
  Language: JML

===

  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.core/logging/src/mobius/logging/

  Project name: Logging
  Description: A logging framework.
  Language: JML

===

  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.dvcg/MobiusDirectVCGen/src/mobius

  Project name: MobiusDirectVCGen
  Description: The MOBIUS Direct Verification Condition Generator is a tool built upon Bico, Bicolano, the Javafe parser.
  Language: JML

===

  Repository url: http://freeboogie.googlecode.com/svn/trunk/FreeBoogie/src/freeboogie

  Project name: FreeBoogie
  Description: A Boogie clone written in JML Java.
  Language: JML

===

  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.esc/escjava/trunk/ESCTools/Escjava/java/escjava

  Project name: ESCJava2
  Description: A Extended Static Checker for Java version 2.
  Language: JML

===

  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.esc/RCC/java/rcc

  Project name: RCC
  Description: RCC: Race Condition Checker for Java.
  Language: JML

===

  Repository url: http://oss.itu.dk/repos/mobius/src/mobius.bml/Umbra/trunk/source/umbra/instructions

  Project name: Umbra
  Description: An editor for the Java bytecode and BML specifications.
  Language: JML

===