RODIN Svn

Add update sites for new releases of Renaming and Gen. Inst. plug-ins

Prepare release 1.1.0 of Generic Instantiation plug-in

Fix proof obligation name

Traditionally in Rodin, parts of PO names are separated with slashes,
not backslashes.

Fix warnings in UI's plugin.xml and stop using deprecated actions

Add Maven build

We can now use Maven to build the plug-ins and the feature (its
feature.xml has been cleaned up and simplified), run the tests (an empty
test class had to be annotated @Ignore as having no tests is considered
a test failure) and build the repository for the update site.

Disable default instance types used for carrier set replacement

It seems that the idea was to allow replacing a carrier set with INT or
BOOL. However, it did not work and generated completely broken POs.
Since it seems difficult to implement correctly, it is disabled for now.

Fix typing error

If getPatternType() or getParameterisationInfo() finds a powerset type,
it must return it, not the base type. As it was, it indicated that the
type of a carrier set S was S, which crashed the static checker: it has
to be POW(S).

Fix four NullPointerExceptions in the static checker

When trying to find a type in the type table:
- do not try to decompose the type in a source-target pair if it's not a
product type
- if a type is not found in the type table, try to find POW(oldtype)
too: if it is mapped to a POW(newtype), then we can map newtype to
oldtype
- if everything else fails, assume that there has been no replacement
and return the type unmodified instead of returning null.

Initialize the name table as required by the super class from Rodin
Core.

Fix strings displayed in editor

For some unknown reason, only the first word of these strings was
displayed. By using '_' instead of a space, they are displayed fully.

Reduce use of restricted APIs and remove some warnings

When possible, restricted APIs are not used anymore. For what remains,
warnings are better handled: some useless @SuppressWarnings have been
removed and a few ones have been added when needed.