A couple of bugs that can be closed

On 12/9/03 12:52 PM, in article br463s$40u$1@is.intellij.net, "Jonas
Kvarnström" <jonkv@ida.liu.se> wrote:

The following three bugs can be closed:

http://www.intellij.net/tracker/idea/viewSCR?publicId=14380 is a duplicate.

http://www.intellij.net/tracker/idea/viewSCR?publicId=14487 is already
fixed.

http://www.intellij.net/tracker/idea/viewSCR?publicId=6904 also seems to
be fixed.

Thanks. Seems we've missed that.
--
Maxim Shafirov
JetBrains, Inc
http://www.intellij.com
"Develop with pleasure!"

One more:
http://www.intellij.net/tracker/idea/viewSCR?publicId=3831 doesn't occur any more. Probably fixed by jdk 1.4.2