[DrJava] [ drjava-Bugs-1280859 ] Redefinition exception on java 1.4.2

[SourceForge.net <no...@so...>]

Bugs item #1280859, was opened at 2005-09-02 17:50
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=1280859&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: DynamicJava
Group: Would be nice if fixed ...
Status: Open
Resolution: None
Priority: 5
Submitted By: Michael Dyrby Jensen (dyrby76)
Assigned to: Nobody/Anonymous (nobody)
Summary: Redefinition exception on java 1.4.2

Initial Comment:
The namevisitor is run before the typechecker, and 
leaves the variable v, in the below code as defined, after 
the TypeChecker denies the declaration, because 1.5 
features arent allowed in java 1.4, unless you have the 
jsr14.

Problem arises from:

(using java 1.4.2, no jsr)

import java.util.Vector;

Vector<String> v = new Vector<String>();

//to which it responds: WrongVersionException: 
//Generics are not supported before Java 1.5

Now try:

Vector v = new Vector();

This will yield: Error: Redefinition of V

v.add("someString");
IllegalStateException: v



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

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