Added support for java.util.logging in few classes.

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

#9 Added support for java.util.logging in few classes.

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2008-04-16

Created: 2008-04-16

Private: No

I've added java.util.logging support in few classes from
gov.nasa.jpf.tools. They no longer use System.err stream for printing values.

Mateusz Ujma