Serialized Form

Package de.uka.ilkd.pp

Class de.uka.ilkd.pp.NoExceptions extends java.lang.RuntimeException implements Serializable

serialVersionUID: 1346223574009403876L

Class de.uka.ilkd.pp.UnbalancedBlocksException extends java.lang.IllegalStateException implements Serializable

serialVersionUID: 5086204740022528272L