public class PropertiesUtil extends java.lang.Object
static void
readLineBased(java.util.Properties properties, java.io.InputStream is)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public static void readLineBased(java.util.Properties properties, java.io.InputStream is) throws java.io.IOException
java.io.IOException
Copyright © 2003-2019 The KeY-Project.