tree 74a633738e669822e79978da30a9ed9700c0f561
parent c31c7981f4ef30e9bf3d6221fbcbbeea44a9d764
author Stephan Herrmann <stephan.herrmann@berlin.de> 1359303302 +0100
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1359303302 +0100

fix reference to new jdt.core version