Method getInteger(String nm, int val)
Return type: java.lang.Integer
Member of: java.lang.Integer
[api documentation ] [ main menu]

Examples of how the element is used (one line per example):
[add your own example]

1 private int _port = Integer.getInteger("STOP.PORT",8079).intValue();
2 Integer.getInteger(
3 ("org.openide.filesystems.JarFileSystem.REFRESH_TIME",0).intValue(); // NOI18N
4 Integer.getInteger("POOL_MIN",2).intValue();
5 nt.makeTransparency(this, Integer.getInteger("jmsn.transparency", 255).intValue());
6 Integer.getInteger("org.netbeans.core.TopLogging.LOG_COUNT", 3).intValue(); // NOI18N
7 verbosity = Integer.getInteger("org.cougaar.trigger.verbosity",0).intValue();
8 tunnelPort = Integer.getInteger("https.proxyPort", 80).intValue();
9 Integer.getInteger("FONT_SIZE", defaultSize).intValue());
Java and J2SE are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other Countries.