[Javapathfinder-svn] SF.net SVN: javapathfinder:[1408] branches/mango/MangoJPF

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1408
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1408&view=rev
Author:   frankrimlinger
Date:     2009-04-16 14:15:46 +0000 (Thu, 16 Apr 2009)

Log Message:
-----------
Cleaning out the MangoRPF plugin repository for a fresh start.  This repository is supposed to contain plugins, but somehow has been filled up with unjarred classes.  This is goofy.  Discovered there is no problem loading jpf classes as such, but realized that the jpf classes won't load without the jars they depend on.  These are listed in the java build path for the trunk.  (There is also a Xerces zip file which I repackaged as a jar.)  The MangoRPF product needs to have these jars bundled into a plugin and deposited in its plugin repository.  But, I suspect that the "jar plugin project" tries to resolve inconsistencies as it creates the bundled jar.  This causes trouble when there are a lot of jars.  In any case, I am unable to bundle all the required jars in a single plugin using jar plugin project.  So, attempting to just bundle a few at a time.  Also, need to create a new configuration item for the location of the jpf .properties file.

Modified Paths:
--------------
    branches/mango/MangoJPF/META-INF/MANIFEST.MF
    branches/mango/MangoJPF/Mango/src/mango/workstation/Workstation.java

Removed Paths:
-------------
    branches/mango/MangoJPF/repository/plugins/Array1$A.class
    branches/mango/MangoJPF/repository/plugins/Array1$B.class
    branches/mango/MangoJPF/repository/plugins/Array1.class
    branches/mango/MangoJPF/repository/plugins/Array1.es
    branches/mango/MangoJPF/repository/plugins/Completion1$A.class
    branches/mango/MangoJPF/repository/plugins/Completion1$B.class
    branches/mango/MangoJPF/repository/plugins/Completion1.class
    branches/mango/MangoJPF/repository/plugins/Completion1.es
    branches/mango/MangoJPF/repository/plugins/CompletionSend$A.class
    branches/mango/MangoJPF/repository/plugins/CompletionSend$B.class
    branches/mango/MangoJPF/repository/plugins/CompletionSend$C.class
    branches/mango/MangoJPF/repository/plugins/CompletionSend.class
    branches/mango/MangoJPF/repository/plugins/CompletionSend.es
    branches/mango/MangoJPF/repository/plugins/ExampleAbort$Failure.class
    branches/mango/MangoJPF/repository/plugins/ExampleAbort.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Busy.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Connecting.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$DialTone.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Receive.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Send.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing$Wait.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Dialing.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Invalid.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Pinned.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Ringing.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Talking.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active$Timeout.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Active.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone$Idle.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone.class
    branches/mango/MangoJPF/repository/plugins/FixedPhone.es
    branches/mango/MangoJPF/repository/plugins/FixedPhone.graffle
    branches/mango/MangoJPF/repository/plugins/FixedPhone.pdf
    branches/mango/MangoJPF/repository/plugins/FixedPhone.png
    branches/mango/MangoJPF/repository/plugins/KeepAlive$A.class
    branches/mango/MangoJPF/repository/plugins/KeepAlive$B.class
    branches/mango/MangoJPF/repository/plugins/KeepAlive.class
    branches/mango/MangoJPF/repository/plugins/Logger.class
    branches/mango/MangoJPF/repository/plugins/META-INF/
    branches/mango/MangoJPF/repository/plugins/MultipleToplevels.class
    branches/mango/MangoJPF/repository/plugins/MyClass1.class
    branches/mango/MangoJPF/repository/plugins/MyClass2.class
    branches/mango/MangoJPF/repository/plugins/MyClassFP.class
    branches/mango/MangoJPF/repository/plugins/MyClassWithFields.class
    branches/mango/MangoJPF/repository/plugins/MyDriver1.class
    branches/mango/MangoJPF/repository/plugins/MyDriverForFields.class
    branches/mango/MangoJPF/repository/plugins/OSGI-INF/
    branches/mango/MangoJPF/repository/plugins/Option.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S1.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S2$A1.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S2$A2.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S2$B1.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S2$B2.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S2.class
    branches/mango/MangoJPF/repository/plugins/Ortho1$S3.class
    branches/mango/MangoJPF/repository/plugins/Ortho1.class
    branches/mango/MangoJPF/repository/plugins/Ortho1.es
    branches/mango/MangoJPF/repository/plugins/Ortho1.graffle
    branches/mango/MangoJPF/repository/plugins/Ortho1.pdf
    branches/mango/MangoJPF/repository/plugins/POGO.class
    branches/mango/MangoJPF/repository/plugins/PrioritySend$A$B.class
    branches/mango/MangoJPF/repository/plugins/PrioritySend$A.class
    branches/mango/MangoJPF/repository/plugins/PrioritySend.class
    branches/mango/MangoJPF/repository/plugins/PrioritySend.es
    branches/mango/MangoJPF/repository/plugins/PrioritySendRegions$R1.class
    branches/mango/MangoJPF/repository/plugins/PrioritySendRegions$R2.class
    branches/mango/MangoJPF/repository/plugins/PrioritySendRegions.class
    branches/mango/MangoJPF/repository/plugins/PropertyTEST1.class
    branches/mango/MangoJPF/repository/plugins/RATS.class
    branches/mango/MangoJPF/repository/plugins/RCAT.class
    branches/mango/MangoJPF/repository/plugins/ReceiverConstraints$A.class
    branches/mango/MangoJPF/repository/plugins/ReceiverConstraints$B.class
    branches/mango/MangoJPF/repository/plugins/ReceiverConstraints.class
    branches/mango/MangoJPF/repository/plugins/ReceiverConstraints.es
    branches/mango/MangoJPF/repository/plugins/Repeat.es
    branches/mango/MangoJPF/repository/plugins/Repeater$A.class
    branches/mango/MangoJPF/repository/plugins/Repeater.class
    branches/mango/MangoJPF/repository/plugins/Robot.class
    branches/mango/MangoJPF/repository/plugins/RobotManager$ListModel.class
    branches/mango/MangoJPF/repository/plugins/RobotManager-nothread-console.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-nothread.es
    branches/mango/MangoJPF/repository/plugins/RobotManager-nothread.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread-console.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread.es
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread1.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread2.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread3.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager-thread4.jpf
    branches/mango/MangoJPF/repository/plugins/RobotManager.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$1.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$2.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$3.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$4.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$5.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$6.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView$RobotCellRenderer.class
    branches/mango/MangoJPF/repository/plugins/RobotManagerView.class
    branches/mango/MangoJPF/repository/plugins/RobotStatusAcquisitionThread.class
    branches/mango/MangoJPF/repository/plugins/RunAnt.class
    branches/mango/MangoJPF/repository/plugins/RunJPF.class
    branches/mango/MangoJPF/repository/plugins/RunTool.class
    branches/mango/MangoJPF/repository/plugins/SecondToplevel$A.class
    branches/mango/MangoJPF/repository/plugins/SecondToplevel$B.class
    branches/mango/MangoJPF/repository/plugins/SecondToplevel.class
    branches/mango/MangoJPF/repository/plugins/SendEvents1$A.class
    branches/mango/MangoJPF/repository/plugins/SendEvents1$B.class
    branches/mango/MangoJPF/repository/plugins/SendEvents1$C.class
    branches/mango/MangoJPF/repository/plugins/SendEvents1.class
    branches/mango/MangoJPF/repository/plugins/SendEvents1.es
    branches/mango/MangoJPF/repository/plugins/SendEvents2$A$A1.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2$A$A2.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2$A.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2$B$B1.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2$B$B2.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2$B.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2.class
    branches/mango/MangoJPF/repository/plugins/SendEvents2.es
    branches/mango/MangoJPF/repository/plugins/StringTest.class
    branches/mango/MangoJPF/repository/plugins/SyncEvents$A1.class
    branches/mango/MangoJPF/repository/plugins/SyncEvents$A2.class
    branches/mango/MangoJPF/repository/plugins/SyncEvents$B1.class
    branches/mango/MangoJPF/repository/plugins/SyncEvents.class
    branches/mango/MangoJPF/repository/plugins/TestInput.class
    branches/mango/MangoJPF/repository/plugins/TestOutput.class
    branches/mango/MangoJPF/repository/plugins/TestOutputFailing.class
    branches/mango/MangoJPF/repository/plugins/TestSafetyAutomaton.class
    branches/mango/MangoJPF/repository/plugins/Wildcards$A.class
    branches/mango/MangoJPF/repository/plugins/Wildcards$B.class
    branches/mango/MangoJPF/repository/plugins/Wildcards.class
    branches/mango/MangoJPF/repository/plugins/Wildcards.es
    branches/mango/MangoJPF/repository/plugins/coverage/
    branches/mango/MangoJPF/repository/plugins/gov/
    branches/mango/MangoJPF/repository/plugins/jfuzz/
    branches/mango/MangoJPF/repository/plugins/ltl2buchi.properties
    branches/mango/MangoJPF/repository/plugins/samplevisualizeconfigs/
    branches/mango/MangoJPF/repository/plugins/sequences/
    branches/mango/MangoJPF/repository/plugins/symbolicheap/
    branches/mango/MangoJPF/repository/plugins/txtfiles/
    branches/mango/MangoJPF/repository/plugins/visualize/

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.