The inner class Base1PluginExecutor.PosRep should implement the hashCode method

[Nicklas Nordborg]

Using a PosMap as a key in a hashmap doesn't work unless the both equals and hashCode is overridden. If the equals method returns true the hashCode must be the same. In the following code 'position' is most likely always null but it depends on the hashCode of the newly created object.

1010: PosRep pr = new PosRep(position, reporter);
1011: position = posMap.get(pr);

[Johan Enell]

(In [2836]) Fixes #410