improved build.properties
fixed exports
ProB Perspective
renamed views