Μεταφορά JDeveloper 10.1.3 extensions από υπολογιστή σε υπολογιστή

Σε πολλούς που έχουν εγκατάσταση του JDeveloper και στο γραφείο τους αλλά και σε άλλους υπολογιστές (πχ στο σπίτι), προκύπτει το ζήτημα της εγκατάστασης των ίδιων extensions προκειμένου να έχουν το ίδιο περιβάλλον εργασίας. Αν και θα μπορούσαμε να κάνουμε ξανά download όλα τα αρχεία, υπάρχει και άλλος τρόπος. Όλα τα extensions του JDeveloper είναι zip αρχεία και αποθηκεύονται όταν τα κάνουμε download από το Oracle update site στο προσωρινό φάκελο $JDEV_HOME/jdev/tmp/update για τα Windows και στο $JDEV_USER_DIR/tmp/update για το Linux. Από εκεί και πέρα, μπορούμε να μεταφέρουμε τα επιθυμητά extensions σε κάποιο άλλο υπολογιστή και να τα εγκαταστήσουμε με την επιλογή "Install from local file".