[DrJava] [ drjava-Bugs-1578857 ] ArrayIndexOutOfBoundsException on Scanner input

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Bugs item #1578857, was opened at 2006-10-17 04:25
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1578857&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Interactions
Group: 6: Crashes
Status: Open
Resolution: None
Priority: 5
Submitted By: Marty Stepp (martystepp)
Assigned to: Nobody/Anonymous (nobody)
Summary: ArrayIndexOutOfBoundsException on Scanner input

Initial Comment:
DrJava crashes extremely frequently when peforming
console input with the Scanner class.  Run the attached
program... when it prompts for the number of homework
assignments, choose a fairly large number such as 20. 
Now on each prompt, type more numbers.  After a few
repetitions, DrJava will crash, usually with an
ArrayIndexOutOfBoundsException but occasionally with a
NullPointerException instead.

Machine: a Fujitsu laptop running WinXP SP2, Intel
Pentium M 2GHz processor, 2GB RAM, no
security/antivirus software installed.  Using DrJava
v20060918-1737.  I have had many students here at U. of
Washington report this bug to me as occurring on their
Windows machines as well.

I have tried to reproduce this bug using the DrJava JAR
of the same version on Linux, and it doesn't reproduce.

Below is the copy-paste of the error log.

java.lang.ArrayIndexOutOfBoundsException: 10
	at javax.swing.text.CompositeView.getView(Unknown Source)
	at javax.swing.text.View.forwardUpdate(Unknown Source)
	at javax.swing.text.BoxView.forwardUpdate(Unknown Source)
	at javax.swing.text.View.insertUpdate(Unknown Source)
	at
javax.swing.plaf.basic.BasicTextUI$RootView.insertUpdate(Unknown
Source)
	at
javax.swing.plaf.basic.BasicTextUI$UpdateHandler.insertUpdate(Unknown
Source)
	at
javax.swing.text.AbstractDocument.fireInsertUpdate(Unknown
Source)
	at
javax.swing.text.AbstractDocument.handleInsertString(Unknown
Source)
	at
javax.swing.text.AbstractDocument.insertString(Unknown
Source)
	at
edu.rice.cs.util.text.SwingDocument.forceInsertText(SwingDocument.java:123)
	at
edu.rice.cs.util.text.ConsoleDocument.insertBeforeLastPrompt(ConsoleDocument.java:219)
	at
edu.rice.cs.drjava.ui.InteractionsController$3$2.run(InteractionsController.java:178)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
	at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.awt.EventDispatchThread.run(Unknown Source)

System Properties:
DrJava Version 20060918-1737
java.runtime.name = Java(TM) 2 Runtime Environment,
Standard Edition
sun.boot.library.path = C:\Programs\java\1.5\jre\bin
java.vm.version = 1.5.0_06-b05
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.com/
path.separator = ;
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
user.country = US
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine
Specification
user.dir = C:\Documents and Settings\stepp
java.runtime.version = 1.5.0_06-b05
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Programs\java\1.5\jre\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\stepp\LOCALS~1\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant = 
os.name = Windows XP
sun.jnu.encoding = Cp1252
java.library.path =
C:\Programs\java\1.5\bin;.;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32\WBEM;C:\Programs\perl\bin\;C:\Programs;C:\Programs\java\1.5\bin;C:\Programs\TextPad;C:\Programs\WinZip;C:\programs\klite\QuickTime\QTSystem\
java.specification.name = Java Platform API Specification
java.class.version = 49.0
sun.management.compiler = HotSpot Client Compiler
os.version = 5.1
user.home = C:\Documents and Settings\stepp
user.timezone = America/Los_Angeles
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.5
java.class.path =
C:\Programs\drjava.exe;C:\Programs\java\1.5\lib\tools.jar
user.name = stepp
java.vm.specification.version = 1.0
java.home = C:\Programs\java\1.5\jre
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode
java.version = 1.5.0_06
java.ext.dirs = C:\Programs\java\1.5\jre\lib\ext
sun.boot.class.path =
C:\Programs\java\1.5\jre\lib\rt.jar;C:\Programs\java\1.5\jre\lib\i18n.jar;C:\Programs\java\1.5\jre\lib\sunrsasign.jar;C:\Programs\java\1.5\jre\lib\jsse.jar;C:\Programs\java\1.5\jre\lib\jce.jar;C:\Programs\java\1.5\jre\lib\charsets.jar;C:\Programs\java\1.5\jre\classes
java.vendor = Sun Microsystems Inc.
file.separator = \
java.vendor.url.bug =
http://java.sun.com/cgi-bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.desktop = windows
sun.awt.exception.handler =
edu.rice.cs.drjava.ui.DrJavaErrorHandler
sun.cpu.isalist = pentium_pro+mmx pentium_pro
pentium+mmx pentium i486 i386 i86

#DrJava configuration file
#Tue Oct 17 04:11:40 PDT 2006
javac.location = C:\\Programs\\java\\1.5\\lib\\tools.jar
extra.classpath = C:\\Programs\\java\\1.5\\lib\\junit.jar
definitions.double.quoted.color = #006666
definitions.number.color = #000000
font.main = Courier New-BOLD-24
font.line.numbers = Courier New-22
font.doclist = Verdana-30
font.toolbar = Dialog-20
text.antialias = true
lineenum.enabled = true
key.save.file.as = <none>
key.save.all.files = ctrl shift S
key.close.all.files = ctrl shift W
key.close.project = ctrl W
key.cut = shift DELETE
key.copy = ctrl INSERT
key.paste = shift INSERT
key.previous.document = ctrl PAGE_UP
key.next.document = ctrl PAGE_DOWN
key.compile = ctrl 1
key.test = ctrl 4
key.lift.current.interaction = ctrl alt UP
key.delete.next = <none>
key.delete.previous = shift BACK_SPACE
key.delete.next = <none>
find.replace.match.case = false
interactions.exit.prompt = false
quit.prompt = false
interactions.reset.prompt = false
save.before.compile = true
save.before.javadoc = true
warn.change.laf = false
prompt.before.clean = false
indent.level = 4
files.backup = false
show.fallthrough.warnings = true
recent.files = [C:\\Documents and
Settings\\stepp\\Desktop\\Crash.java,C:\\Documents and
Settings\\stepp\\Desktop\\Grades.java,C:\\Documents and
Settings\\stepp\\Desktop\\Grades2.java,C:\\Documents
and Settings\\stepp\\Desktop\\Grade.java]
window.height = 958
window.width = 1190
window.x = 79
window.y = 13
doc.list.width = 142
last.dir = C:\\Documents and
Settings\\stepp\\Desktop\\Crash.java
last.interactions.dir = C:\\Documents and
Settings\\stepp\\Desktop
drjava.use.force.quit = true

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1578857&group_id=44253

[DrJava] [ drjava-Bugs-1578857 ] ArrayIndexOutOfBoundsException on Scanner input

A lightweight programming environment for Java

[DrJava] [ drjava-Bugs-1578857 ] ArrayIndexOutOfBoundsException on Scanner input